[14:26] <jelmer> hmm, no mgz today?
[16:15] <tsdh> Hi.  I've pushed some commits, and it turns out the changes were broken.  How do I undo them, e.g., creating a reverse patch undoing my changes in revnos 312, 313, and 315?
[16:34] <tsdh> Ok, think I got it.