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?
>

Reply via email to