13 Aug
2018
13 Aug
'18
2:03 p.m.
On Mon, Aug 13, 2018 at 3:38 PM, Ion Gaztañaga via Boost
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.. -- Olaf