David Craven <da...@craven.ch> writes:

> LGTM!

Pushed in commit 365de1e7a5b37f9fd88cd964cc7d47f6f729d053, with an
updated Cuirass commit.

Thanks.

-- 
Mathieu Lirzin

Reply via email to