Tags give the ability to mark specific points in history as being important
* Release 1.15-rc1. Attention version en cours de développement !
Correction d'une erreur de nommage du tag. La version effectivement publiée l'a été sous le numéro de version 1.12 dans le tag 2.11a. Donc suppression du tag 1.12 puis renommage du tag 2.11a en 1.12. [[Split portion of a mixed commit.]]