8 Jul
2019
8 Jul
'19
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