fix: profile_tokio broken due to incompatible types #49

Merged
nondescriptpointer merged 2 commits from fix/profile-tokio-incompatible-types into dev 2025-08-18 21:52:09 -04:00

2 Commits

Author SHA1 Message Date
Thomas Colliers
5a597938f4 Formatting 2025-08-18 18:24:18 +02:00
Thomas Colliers
0451716e1e fix: profile_tokio broken due to incompatible types 2025-08-17 22:08:32 +02:00