Tags: patch Okay, thanks to a lot of help at #erc and #git I think this is one full patch for a single commit reflecting the desired change to the source. Let me know if it is okay.