On Sun, 6 Jan 2019 at 10:00, degski <degski@gmail.com> wrote:
If not, you should write to the developer-list: boost@lists.boost.org, as in that case ...

Don't forget to subscribe [to that list]!
--
If something cannot go on forever, it will stop" - Herbert Stein