Boost logo

Boost :

From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2019-10-29 08:00:38

On Mon, 28 Oct 2019 at 23:30, Mateusz Loskot <mateusz_at_[hidden]> wrote:
> Stefan,
> In case you are going to merge `develop` to `master` very soon now,
> please, wait until CI-s for this PR are done and the PR is merged.

FYI, this PR has been merged to develop.

Best regards,

Mateusz Loskot,

Boost list run by Boost-Gil-Owners