log .hgtags @ 402:2bbcb7da56bc default tip

age author description
Tue, 30 Nov 2021 23:27:45 +0100 Goffi Added tag v0.8.0 for changeset aa30f8c20ae5