diff options
| author | Lukas Fleischer <lfleischer@lfos.de> | 2016-05-24 18:15:18 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2016-07-05 16:14:40 +0200 |
| commit | 9984e7ab49c59e49a0d7e62c3435e7133f7a53ec (patch) | |
| tree | 1f3a53622746e5fe43e9d5c7c9bc27ab2da22761 /filters/html-converters/man2html | |
| parent | 1e039ada8554c7e2fc65524827c61613a24256fb (diff) | |
Avoid ambiguities when prettifying snapshot names
When composing snapshot file names for a tag with a prefix of the form
v[0-9] (resp. V[0-9]), the leading "v" (resp. "V") is stripped. This
leads to conflicts if a tag with the stripped name already exists or if
there are tags only differing in the capitalization of the leading "v".
Make sure we do not strip the "v" in these cases.
Reported-by: Juuso Lapinlampi <wub@partyvan.eu>
Signed-off-by: Lukas Fleischer <lfleischer@lfos.de>
Diffstat (limited to 'filters/html-converters/man2html')
0 files changed, 0 insertions, 0 deletions