diff options
author | 2016-07-04 15:26:28 +0200 | |
---|---|---|
committer | 2016-07-04 15:27:59 +0200 | |
commit | 9468bcd39808f4587d3732f46773b1e339b2267c (patch) | |
tree | 5ddb5b1b81b2d240520918e8c845a602f7b1f2d1 /test-suite/bugs/closed/4882.v | |
parent | 2b6dd2ff132a74ba247609191c344dda991e3b84 (diff) |
Update CHANGES, the bugfixes for 4527 and 4726 are
not in pl2.
Diffstat (limited to 'test-suite/bugs/closed/4882.v')
0 files changed, 0 insertions, 0 deletions