[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
tag 6_5_93 deleted (was 4964188534)
From: |
Gavin D. Smith |
Subject: |
tag 6_5_93 deleted (was 4964188534) |
Date: |
Thu, 26 Oct 2023 17:31:09 -0400 (EDT) |
gavin pushed a change to tag 6_5_93.
*** WARNING: tag 6_5_93 was deleted! ***
was 4964188534 ignore .dirstamp
The revisions that were on this tag are still contained in
other references; therefore, this change does not discard any commits
from the repository.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- tag 6_5_93 deleted (was 4964188534),
Gavin D. Smith <=