Pushed.
- bug#15924: [PATCH] dfa: avoid undefined behavior of "1 &... Jim Meyering
- bug#15924: [PATCH] dfa: avoid undefined behavior of &quo... Paul Eggert
- bug#15924: [PATCH] dfa: avoid undefined behavior of ... Jim Meyering
- bug#15924: [PATCH] dfa: avoid undefined behavior... Jim Meyering
- bug#15924: [PATCH] dfa: avoid undefined beha... Jim Meyering
