The proposal to merge lp:~tveronezi/juju-gui/filter-buttons into lp:juju-gui
has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~tveronezi/juju-gui/filter-buttons/+merge/130832
--
https://code.launchpad.net/~tveronezi/juju-gui/filter-buttons/+merge/130832
Your team Juju GUI Hackers is requested to review the proposed merge of
lp:~tveronezi/juju-gui/filter-buttons into lp:juju-gui.
--
Mailing list: https://launchpad.net/~yellow
Post to : [email protected]
Unsubscribe : https://launchpad.net/~yellow
More help : https://help.launchpad.net/ListHelp
