On 18 October 2018 at 15:55, Andreas Tille wrote: | may be you missed my question in the other mail: Maybe (one word) you missed my suggestion to go and talk to the Boost maintainer why 1.67 is not the default? Dirk -- http://dirk.eddelbuettel.com | @eddelbuettel | edd@debian.org