added Doing label
changed milestone to %Version 4.13.0
added enhancement label
mentioned in commit 99f3556c
By Mathias Chouet on 2020-09-28T16:11:42 (imported from GitLab)
closed