Okay, pushed Dan's latest fixes to 3.1 (just the first commit, as requested), 3.2, 3.3, and master. Thanks to all!
Okay, pushed Dan's latest fixes to 3.1 (just the first commit, as requested), 3.2, 3.3, and master. Thanks to all!