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