added Doing label
changed milestone to %Version 4.13.0
added documentation label
assigned to @mathias.chouet
By Mathias Chouet on 2020-09-28T13:58:40 (imported from GitLab)
mentioned in commit a5b59238
By Mathias Chouet on 2020-09-28T14:45:33 (imported from GitLab)
closed