Merge lp:~yrke/tapaal/fix-898122 into lp:tapaal
Proposed by
Kenneth Yrke Jørgensen
| Status: | Merged | ||||
|---|---|---|---|---|---|
| Approved by: | Jiri Srba | ||||
| Approved revision: | 635 | ||||
| Merged at revision: | 635 | ||||
| Proposed branch: | lp:~yrke/tapaal/fix-898122 | ||||
| Merge into: | lp:tapaal | ||||
| Diff against target: |
2 lines (+0/-0) 0 files modified
|
||||
| To merge this branch: | bzr merge lp:~yrke/tapaal/fix-898122 | ||||
| Related bugs: |
|
| Reviewer | Review Type | Date Requested | Status |
|---|---|---|---|
| Jiri Srba | Approve | ||
|
Review via email:
|
|||
Commit message
Fix for bug #898122
Description of the change
Fix for bug #898122
To post a comment you must log in.
Revision history for this message
| Jiri Srba (srba) | # |
review:
Approve
Preview Diff
[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
