Some simplifications in Board + fix typo
authorBenjamin Auder <benjamin.auder@somewhere>
Tue, 18 Feb 2020 08:25:30 +0000 (09:25 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Tue, 18 Feb 2020 08:25:30 +0000 (09:25 +0100)

No differences found