Merge branch 'maint-0.3.2' into release-0.3.2

2017-12-04 14:01:55 -05:00 · 2017-12-04 14:01:55 -05:00 · bc30d30534
parent 19e01f0cbc a5be2305e1
commit bc30d30534
1 changed files with 1 additions and 1 deletions
--- a/changes/bug23696
+++ b/changes/bug23696
@ -1,5 +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;
+      scheduler recovers from this without any problem. Fixes bug 23696;
      bugfix on 0.3.2.1-alpha.