| Thread Previous • Date Previous • Date Next • Thread Next |
The proposal to merge lp:~tveronezi/juju-gui/hotkeys into lp:juju-gui has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~tveronezi/juju-gui/hotkeys/+merge/131382
--
https://code.launchpad.net/~tveronezi/juju-gui/hotkeys/+merge/131382
Your team Juju GUI Hackers is subscribed to branch lp:juju-gui.
| Thread Previous • Date Previous • Date Next • Thread Next |