Merge proposals
| Branch Merge Proposal | Status | Requested By |
|---|---|---|
| lp:~boegholm/juppaal/SARTS-sync ⇒ lp:juppaal | Needs review | Thomas Bøgholm |
| lp:~boegholm/pyuppaal/nicelayout ⇒ lp:pyuppaal | Merged | Thomas Bøgholm |
| lp:~boegholm/pyuppaal/nicelayout ⇒ lp:pyuppaal | Merged | Thomas Bøgholm |
| lp:~boegholm/pyuppaal/780495-fix ⇒ lp:pyuppaal | Merged | Thomas Bøgholm |
| lp:~boegholm/pyuppaal/argparsed_cmd ⇒ lp:pyuppaal | Merged | Thomas Bøgholm |
| 1 → 5 of 5 results | First • Previous • Next • Last |
