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:
> 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.
-- Mateusz Loskot, http://mateusz.loskot.net
Boost list run by Boost-Gil-Owners