Christian Moe <[email protected]> writes:
> And there's no
> good reason for writing "release_7.9.4" in the above examples.

Correction: yes, there is (it's a git tag).

Reply via email to