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.
>
> https://github.com/boostorg/gil/pull/399
FYI, this PR has been merged to develop.
Best regards,
-- Mateusz Loskot, http://mateusz.loskot.net