Bump submodules #99

Merged
muellerr merged 4 commits from mueller/bump-deps into develop 2022-06-21 10:35:57 +02:00
Owner

Check that nothing basic broke

Check that nothing basic broke
muellerr added 3 commits 2022-06-20 09:48:10 +02:00
muellerr changed title from WIP: Bump submodules to Bump submodules 2022-06-21 10:35:47 +02:00
muellerr added 1 commit 2022-06-21 10:35:51 +02:00
muellerr merged commit c29689cc0a into develop 2022-06-21 10:35:57 +02:00
muellerr deleted branch mueller/bump-deps 2022-06-21 10:35:59 +02:00
muellerr added this to the 1.12.0 milestone 2022-06-21 10:38:16 +02:00
Sign in to join this conversation.
No description provided.