devdi update

This commit is contained in:
Dirk Alders 2025-09-14 12:43:05 +02:00
parent 22fd8b53da
commit 736f464565

2
devdi

@ -1 +1 @@
Subproject commit 5a5679b0baa9ba978f75d8581cb0dc7c13158e34
Subproject commit 0e45aed92670510d7125b529a26d72f556a40924