Mettre à jour Domino-ui

La version 1.0.7 est parue le 4 septembre.

Mettre aussi à jour la page Crédits de la documentation.

changed milestone to %v2.0.1

assigned to @olivier.maury

created branch 107-mettre-a-jour-domino-ui to address this issue

mentioned in merge request !126 (merged)

mentioned in commit a1200d5d

mentioned in commit documentation@06b51e38

mentioned in merge request documentation!48 (merged)

mentioned in commit documentation@37147c07

closed with merge request !126 (merged)