Merge PR yesodweb#1016

kazu-yamamoto · Dec 6, 2024 · 3d22de6 · 3d22de6
2 parents 1c09eba + a898045
commit 3d22de6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/time-manager/System/ThreadManager.hs b/time-manager/System/ThreadManager.hs
@@ -8,6 +8,7 @@ module System.ThreadManager (
     ThreadManager,
     newThreadManager,
     stopAfter,
+    KilledByThreadManager(..),
 
     -- * Fork
     forkManaged,