Activity log for bug #1964790

Date Who What changed Old value New value Message
2022-03-14 15:05:45 Jiri Srba bug added bug
2022-03-14 15:05:45 Jiri Srba attachment added int-range.tapn https://bugs.launchpad.net/bugs/1964790/+attachment/5568676/+files/int-range.tapn
2022-03-15 12:21:28 Kenneth Yrke Jørgensen summary CPN verification fails CPN verification fails for int ranges not starting with 1
2022-03-18 07:10:58 Jiri Srba tapaal: status New Fix Committed