13 Aug
2018
13 Aug
'18
2:13 p.m.
On 13/08/2018 16:03, Olaf van der Spek wrote:
On Mon, Aug 13, 2018 at 3:38 PM, Ion GaztaƱaga via Boost
wrote: On 13/08/2018 15:02, Viktor Sehr via Boost wrote:
Thank you Ion!
Let's see if commit:
https://github.com/boostorg/container/commit/139db663a3607d051c52845a4fef56a...
fixes the issue.
The commit appears to contain unrelated changes as well..
Yes. The life of a lazy programmer with uncommitted changes.