Skip to content

Commit

Permalink
Document a known issue in the NEWS file.
Browse files Browse the repository at this point in the history
NEWS:
   As above.
  • Loading branch information
juliensf committed Jan 27, 2020
1 parent 9a84dbd commit de57cbb
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions NEWS
Original file line number Diff line number Diff line change
Expand Up @@ -1296,4 +1296,11 @@ Changes to the extras distribution
* We have added some additional random number generator implementations for
use with the new random number generator framework.

Known issues
------------

* [Mantis bug #466]. The experimental support for dependent parallel
conjunctions in low-level C grades is known to sometimes cause aborts
in the code generator.

For news about earlier versions, see the HISTORY file.

0 comments on commit de57cbb

Please sign in to comment.