The proposal to merge lp:~jerith/divmod.org/short-directions-1215929 into lp:divmod.org has been updated.
Status: Approved => Merged
For more details, see:
https://code.launchpad.net/~jerith/divmod.org/short-directions-1215929/+merge/181830
--
https://code.launchpad.net/~jerith/divmod.org/short-directions-1215929/+merge/181830
Your team Divmod-dev is subscribed to branch lp:divmod.org.
--
Mailing list: https://launchpad.net/~divmod-dev
Post to : [email protected]
Unsubscribe : https://launchpad.net/~divmod-dev
More help : https://help.launchpad.net/ListHelp
