Details
-
Task
-
Resolution: Done
-
P2: Important
-
None
-
None
-
None
Description
Final downmerge to 5.13.0 was a while ago already, so the versions should be bumped in 5.13.
Final downmerge to 5.13.0 was a while ago already, so the versions should be bumped in 5.13.