robur/mirage-monitoring
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

adapt to defunctorisation work #1

Closed
hannes wants to merge 1 commit from variants into main
pull from: variants
merge into: robur:main
Conversation 0 Commits 1 Files changed 4 +9 -9

1 commit

Author SHA1 Message Date
Hannes Mehnert
79fd0362b5 adapt to defunctorisation work 2025-02-10 15:50:40 +01:00