Markus Reiter f7168bf234
Merge pull request #15336 from reitermarkus/version-head-null
Merge `HeadVersion` and `NullVersion` into `Version`.
2023-05-10 01:01:21 +02:00
..
2023-05-07 08:34:13 +02:00
2023-05-07 08:34:13 +02:00
2023-05-09 04:28:25 +02:00
2023-05-09 04:28:25 +02:00
2022-12-28 16:10:26 -05:00
2023-05-07 08:34:13 +02:00
2023-05-07 10:04:28 +02:00
2023-04-25 09:26:24 -07:00
2023-05-09 04:28:25 +02:00