diff options
Diffstat (limited to 'doc/manual/src/release-notes/rl-next.md')
| -rw-r--r-- | doc/manual/src/release-notes/rl-next.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/src/release-notes/rl-next.md b/doc/manual/src/release-notes/rl-next.md index 78ae99f4b..c1f4de76f 100644 --- a/doc/manual/src/release-notes/rl-next.md +++ b/doc/manual/src/release-notes/rl-next.md @@ -1,2 +1,4 @@ # Release X.Y (202?-??-??) +* The `repeat` and `enforce-determinism` options have been removed + since they had been broken under many circumstances for a long time. |