diff options
Diffstat (limited to 'changes/bug23753')
| -rw-r--r-- | changes/bug23753 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/changes/bug23753 b/changes/bug23753 deleted file mode 100644 index 8782a8e2d0..0000000000 --- a/changes/bug23753 +++ /dev/null @@ -1,4 +0,0 @@ - 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. |