That's a winner. I'll mark D23233 as abandoned so this fix can proceed.
Aug 20 2019
Abandoning this in favor of D23219, which is now hardened for reuse.
Aug 18 2019
It might be a good idea to harden this fix further:
I wasn't aware of another revision being under review to fix the same issue, sorry.
Aug 17 2019
Aug 16 2018
I see, thanks! Here's my name and email,
Noob question (this is my first patch through phabricator and I don't have commit rights, naturally):
How does one normally proceed now, do I mail or attach here, the patch (as in git format-patch) so someone can git am -s it into the next release's dev branch? Does phabricator do that automatically ("land" it)? Should I create a task for it on some workboard (or is that thinking backwards)?
Aug 15 2018