Log Message: Remove patch file from HEAD, to finish a commit that ended up mysteriously mixed on HEAD and 2013Q4, despite there not being a CVS/Tag file in patches.