tags 728976 + upstream fixed-upstream thanksFwiw, the 1.2.18.1 release is now out, and includes this fix (along with two other bugfixes).
-Mark -- Mark J. Nelson IT University of Copenhagen http://www.kmjn.org -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
