Remove an obsolete submodule #17

Merged
allanger merged 1 commits from fix-submodules into main 2023-02-22 21:07:52 +00:00
Owner
No description provided.
allanger added the
bug
label 2023-02-22 21:07:31 +00:00
allanger self-assigned this 2023-02-22 21:07:31 +00:00
allanger added 1 commit 2023-02-22 21:07:34 +00:00
allanger changed title from Remove submodule to Remove an obsolete submodule 2023-02-22 21:07:43 +00:00
allanger merged commit c85c686e80 into main 2023-02-22 21:07:52 +00:00
allanger deleted branch fix-submodules 2023-02-22 21:07:52 +00:00
Sign in to join this conversation.
No description provided.