[00:56] <mr-russ> ianm_: a push should do it.
[03:13] <thomi> Hi - I've just posted bug #747958 - and a patch that I think fixes the issue, along with a small app that demonstrates the issue. I'd be most grateful for any feedback on this.
[09:41] <vila> thomi: your patch is small enough that it seems obviously correct, so:
[09:42] <vila> argh, he's gone
[15:47] <johan> how do I merge two commits together and reorder them (like git rebase --interactive) ?