Merge branch 'maint-0.3.2'

2024-12-06 19:41:15 +01:00 · 2017-11-02 10:32:18 -04:00
parent f865993653 cb42c62c9e
commit 65d22dc2f2
4 changed files with 58 additions and 6 deletions
@@ -0,0 +1,4 @@
+  o Minor features (logging, scheduler):
+    - Introduce a SCHED_BUG() function to log extra information about the
+      scheduler state if we ever catch a bug in the scheduler. Closes ticket
+      23753.