Closed helmadik closed 1 month ago
Alas, I had (many) further corrections but failed to do the pull request. Now the format has drastically changed, @jonathanrobie . Any chance that reformatting was done with a script that is still lying around?
Could you please create a new issue and attach your diff? I don't think I have the query used to do that - @cbearden might, I imagine one of us made that change. We'll try to figure out an intelligent way to apply your corrections.
Nice catch! Thanks, Helma!