Append dev to version number post-release#1179

Merged

rem1776 merged 2 commits intomainfrom add-dev-post-release-1680549528

Apr 6, 2023

+1-1

Commits on Apr 3, 2023

[create-pull-request] automated change
rem1776
authored

Commits on Apr 5, 2023

empty commit to get the ci running

rem1776
authored and
rem1776
committed