The proposal to merge lp:~tveronezi/juju-gui/minimized-third-party-js into
lp:juju-gui has been updated.
Status: Approved => Merged
For more details, see:
https://code.launchpad.net/~tveronezi/juju-gui/minimized-third-party-js/+merge/134304
--
https://code.launchpad.net/~tveronezi/juju-gui/minimized-third-party-js/+merge/134304
Your team Juju GUI Hackers is subscribed to branch 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
