Created attachment 192353 [details]
Update our (somewhat old) snapshot to the recently released version 0.17.
Created attachment 192657 [details]
Minor adjustment due to the boost-1.67 patch.
A commit references this bug:
Date: Sun Apr 22 06:24:26 UTC 2018
New revision: 467912
- Update to 0.17.13509
Submitted by: pfg@