The proposal to merge lp:~exarkun/divmod.org/remove-axiom-1325288 into lp:divmod.org has been updated.
Status: Approved => Merged
For more details, see:
https://code.launchpad.net/~exarkun/divmod.org/remove-axiom-1325288/+merge/224944
--
https://code.launchpad.net/~exarkun/divmod.org/remove-axiom-1325288/+merge/224944
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
