Aug. 10, 2014
12:56 a.m.
Thanks, those all looked good, and I pushed them into the experimental version, with one very minor exception: the third patch introduced a space before a tab. I fixed that, plus all the other similar instances I found in the code and data, and added a Makefile rule to check for this in the future, by pushing the attached additional patch to the experimental version.