Laurent Rineau 484ee4c6c4 Change the release name, from 5.3-beta2 to 5.3 ... ...and prepare for the near publication of 5.1.5 and 5.2.3.		2021-07-02 12:46:43 +02:00
..
doc	Change the release name, from 5.3-beta2 to 5.3	2021-07-02 12:46:43 +02:00