aliguori/patches — pull request #1 by stefanha (2014-09-11 13:39:20+00:00)
Title: Various bug fixes

I have a few bug fixes to the patches tool which Peter Maydell and I use.

Do you still use/maintain it?