Small improvement in Hall
authorBenjamin Auder <benjamin.auder@somewhere>
Tue, 16 Jul 2019 16:42:43 +0000 (18:42 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Tue, 16 Jul 2019 16:42:43 +0000 (18:42 +0200)

No differences found