chore: append dev to version number after release (#1509)
commitd42f8aca45bfefaaa45295888a36548b9a9b5a29
authorgithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Mon, 6 May 2024 13:34:33 +0000 (6 09:34 -0400)
committerGitHub <noreply@github.com>
Mon, 6 May 2024 13:34:33 +0000 (6 09:34 -0400)
tree7a08b3937218fd92d18d07b3033095b090ee1c94
parent87344eeb1aea61e70604c19abeddec2d91f30d6c
chore: append dev to version number after release (#1509)
configure.ac