On Thu, 21 Feb 2019 at 17:22, Udo Steinbach via Boost-users wrote:

Am 2019-02-20 um 22:38 schrieb Raffi Enficiaud via Boost-users:

...

open an issue next time on GitHub

I try to avoid registration on free services.

FYI, GitHub also offers paid account. Best regards, -- Mateusz Loskot, http://mateusz.loskot.net