You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
minor #20483 [Setup] Update 7.2.x-dev to 7.2.x (leo29plns)
This PR was merged into the 7.2 branch.
Discussion
----------
[Setup] Update 7.2.x-dev to 7.2.x
This is my very first contribution to open-source world, so I might be wrong.
Since version 7.2 was released in November 2024, we no longer need the `-dev` suffix for new installations.
I apologize in advance if this change doesn't make any sense or if it was already planned :/
Commits
-------
f10c7e9 Update 7.2.x-dev to 7.2.x
0 commit comments