Merge pull request #757 from whitequark/manual_mem
authorClifford Wolf <clifford@clifford.at>
Sat, 22 Dec 2018 19:12:18 +0000 (20:12 +0100)
committerGitHub <noreply@github.com>
Sat, 22 Dec 2018 19:12:18 +0000 (20:12 +0100)
manual: document $meminit cell and memory_* passes


Trivial merge