Aurélien Jaquier

Results 31 comments of Aurélien Jaquier

> After #334 is merged, this PR can be written much shorter (perhaps even reduced by half). Alright, done in latest commits. This PR is ready to be merged on...