11 Nov
2017
11 Nov
'17
2:46 a.m.
On 11 November 2017 at 00:56, James E. King, III via Boost
My PR build of this revert failed in serialization, something must have just changed in serialization.
Thanks for catching that, hopefully serialization is better in master? I've got to go to bed now, so I'll look into what's going on with serialization in the morning.