Merge lp:~boegholm/pyuppaal/780495-fix into lp:pyuppaal
Proposed by
Thomas Bøgholm
Status: | Merged | ||||
---|---|---|---|---|---|
Approved by: | Kenneth Yrke Jørgensen | ||||
Approved revision: | 95 | ||||
Merged at revision: | 95 | ||||
Proposed branch: | lp:~boegholm/pyuppaal/780495-fix | ||||
Merge into: | lp:pyuppaal | ||||
Diff against target: |
65 lines (+18/-2) 3 files modified
pyuppaal/pyuppaal.py (+6/-2) tests/test_import.py (+5/-0) tests/urgent.xml (+7/-0) |
||||
To merge this branch: | bzr merge lp:~boegholm/pyuppaal/780495-fix | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Kenneth Yrke Jørgensen | Approve | ||
Review via email:
|
Commit message
Merged lp:~boegholm/pyuppaal/780495-fix for bugfix of bug #780495
Description of the change
bugfix for bug #780495
To post a comment you must log in.
Looks good