I asked for tagged releases four years ago, and was told it would be a bother -- but since then I see the bootstrap.sh script does tagged releases for the resulting packages, it woud in fact be a one-liner to also tag this source repository.
Notice that the current bootstrap.sh mentions the v1.2.0 in two places -- it should probably be slightly modified so the number is set in one place and used in both (and, for this issue: thrice!)
Thanks!
I asked for tagged releases four years ago, and was told it would be a bother -- but since then I see the bootstrap.sh script does tagged releases for the resulting packages, it woud in fact be a one-liner to also tag this source repository.
Notice that the current bootstrap.sh mentions the v1.2.0 in two places -- it should probably be slightly modified so the number is set in one place and used in both (and, for this issue: thrice!)
Thanks!