Dummy commit to test the new setup of coq-commits mailinglist
Dummy commit to test the new setup of coq-commits mailinglist (bis)