Fix bug in Allmate2
authorBenjamin Auder <benjamin.auder@somewhere>
Sat, 25 Jul 2020 09:41:58 +0000 (11:41 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Sat, 25 Jul 2020 09:41:58 +0000 (11:41 +0200)

No differences found