Pr #39

Merged
clan-bot merged 1 commits from pr into main 2023-07-28 08:50:46 +00:00

1 Commits

Author SHA1 Message Date
DavHau
e264759e1f clan-merge: fix whitelist; mic92 -> Mic92
All checks were successful
build / test (push) Successful in 7s
2023-07-28 10:50:11 +02:00