3 Jul
2023
3 Jul
'23
6:25 p.m.
On Mon Jul 3 17:56:10 2023 +0000, Fabian Maurer wrote:
Sorry, after having to rerun configure after every rebase I figured it'd make things easier to just check it in.
Fixed now