(In reply to comment #8)
Went ahead and committed Benjamin's latest patch. Looks correct, although partial, per the FIXME comment.
Gale's comment #8 seems it does fix the crash, so changing status. Please re-open if I misunderstood.
(In reply to comment #8)
Went ahead and committed Benjamin's latest patch. Looks correct, although
partial, per the FIXME comment.
Gale's comment #8 seems it does fix the crash, so changing status. Please
re-open if I misunderstood.