enum #145

Merged
muellerr merged 1 commits from kranz_another_enum into main 2023-03-02 13:52:17 +01:00
Owner
No description provided.
muellerr was assigned by mkranz 2023-03-02 10:20:18 +01:00
mkranz added 1 commit 2023-03-02 10:20:19 +01:00
mkranz requested review from muellerr 2023-03-02 10:20:29 +01:00
muellerr approved these changes 2023-03-02 13:52:10 +01:00
muellerr merged commit e46f685607 into main 2023-03-02 13:52:17 +01:00
muellerr deleted branch kranz_another_enum 2023-03-02 13:52:18 +01:00
Sign in to join this conversation.
No description provided.