July 8, 2019
12:28 p.m.
I'll answer my own question. It's a git diff of course, so
git apply 160.diff
in the hyperkitty directory.
Andrew