Various fixes
authorBenjamin Auder <benjamin.auder@somewhere>
Mon, 27 Jan 2020 18:20:25 +0000 (19:20 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Mon, 27 Jan 2020 18:20:25 +0000 (19:20 +0100)

No differences found