On Fri, Mar 2, 2012 at 9:27 AM, Peter Bittner <[email protected]> wrote: > Luke, you didn't push the rename to master, did you?
beh? whatwhatwhat? yes? > I did that just now. er why? you saw i'd done a git commit, why do it a 2nd time?? burble? anyway, a merge has detected the duplication, apparently, so it's ok. l.
