Revision daa5f70c9e03e78e342bf37c3db4cf81450a1a4a

Committed on 12/10/2018 7:53 am by Florian ALEXANDRE <[email protected]> [GitHub Diff]

fix: doc badges