gentle ping On Mon, Feb 5, 2018 at 6:04 PM, Quentin Pradet <[email protected]> wrote:
> The pull request that fixes the tests has been merged thanks to Anthony. > What is the next step? >
gentle ping On Mon, Feb 5, 2018 at 6:04 PM, Quentin Pradet <[email protected]> wrote:
> The pull request that fixes the tests has been merged thanks to Anthony. > What is the next step? >