← Back to team overview

divmod-dev team mailing list archive

Thread
Date

[Merge] lp:~jerith/divmod.org/short-directions-1215929 into lp:divmod.org

To: mp+181830@xxxxxxxxxxxxxxxxxx, Jean-Paul Calderone <exarkun@xxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Sat, 26 Oct 2013 16:53:16 -0000
In-reply-to: <20130823135237.2086.69179.launchpad@ackee.canonical.com>
Reply-to: mp+181830@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

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.

References

[Merge] lp:~jerith/divmod.org/short-directions-1215929 into lp:divmod.org
From: Jeremy Thurgood, 2013-08-23