Hi,

I just pushed one commit on the branch to fix install tests. They now
seem to all pass with success.

Tell me if you see any remaining stuff to be done before merging :)

Thanks,

Mathieu

Reply via email to