Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Fix doxygen comment.

2 jobs for !11 with bugfix_redux_2 in 2 minutes and 52 seconds (queued for 5 minutes and 9 seconds)
detached
Status Job ID Name Coverage
  Build
canceled #983910
build

00:02:52

 
  Deploy
skipped #983911
deploy