Merge branch 'maint-0.3.2' into release-0.3.2

2024-12-06 19:41:15 +01:00 · 2017-12-04 13:23:52 -05:00
parent fe12c9756a ff6c8cf861
commit 19e01f0cbc
2 changed files with 11 additions and 2 deletions
@@ -0,0 +1,5 @@
+  o Minor bugfix (KIST scheduler):
+    - Downgrade a warning to log info when the monotonic time diff is
+      negative. This can happen on platform not supporting monotonic time. The
+      scheduler recovers from this without any problem. Fixes ticket 23969;
+      bugfix on 0.3.2.1-alpha.