On Fri, Feb 08, 2019 at 04:21:02PM -0500, Stefan Berger wrote:
I still think that in 5/5 branching could be better but is not a biggie
for me (does not make the implementation as whole any kind of mess) and
since it is now peer tested I rather would not modify it right now.
Applied to master and next!