Revision 33fcd0077133a9fdcf0f4259094a62bff5f9542e

Committed on 19/05/2022 2:31 am by Philip Bauer <[email protected]> [GitHub Diff]

update and cleanup list after discussions at buschenschank sprint