I've been hoping someone else would make a decision about this... any comments? As a number of the fixes are on the 2.18 branch we ought to decide before the imminent release. -- Daniel Jacobowitz CodeSourcery