> * That missing "July" entry in datetime.c
OK, I've committed the fix. Also, I removed a few duplicate lines fromodbc.sql left over from my last ill-fated update attempt via my bad DSLline (looks like they fixed it today. woohoo!).
- Thomas