Details
-
Bug
-
Resolution: Done
-
P3: Somewhat important
-
None
-
5.13
-
None
Description
It seems our git maintainer forgot to change the default dev version to the latest release version, i.e. v5.13, for a some months. As far as I can recall, this change usually happened when the latest stable version released 1 or 2 months. Is there anything wrong for keeping us remain the old fashion or just someone forgot this?