diff options
Diffstat (limited to 'CHANGELOG.md')
| -rw-r--r-- | CHANGELOG.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index 74a5450c..fbcc592e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -14,6 +14,8 @@ Bug fixes on top of release `1.2.4`. - Taintedness of "configure" targets is now propagated correctly. - Missing atomic primitives added to the source code. - A staging conflict in the test setup was fixed. +- The expression `"disjoint_map_union"` did not verify disjointness + in all cases; this is fixed now. ## Release `1.2.4` (2023-12-19) |