bug#24259: [PATCH 0/6] dfa: thread safety

[Paul Eggert]

Thanks for doing all that; the changes all look good. I found a few minor issues 
with the changes and installed the attached cleanup patch. Among other things, 
this cleanup abbreviates some member names from FOOstate to FOO, because they 
are used so often in the code (and are private to this module anyway) that the 
repeated "state"s made it a bit harder to read.

0001-dfa-minor-thread-safety-cleanups.patch
Description: Text Data