Comment 1 for bug 38936

Revision history for this message
Dave Love (fx-gnu) wrote : fix

This diff, derived from a more recent PLT seems to
DTRT.