Sync dfa with GNU grep.
Clean up some memory in MPFR.
Merge branch 'gawk-4.1-stable'
Fix memory leak in do_mpfr_div.
Make sprintf %c work better on Windows (printhuge test)
Merge branch 'gawk-4.1-stable'
Minor patch to get --profile to work in -M (MPFR) mode.
Merge branch 'gawk-4.1-stable' to get --profile to work with -M.
Document more about sprintf %c.
Minor code improvement for sprintf %c.
Improve inrec setting ERRNO, doc of API get_record for errors.
Merge branch 'gawk-4.1-stable'
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/gawk
Minor patch to get --profile to work in -M (MPFR) mode.
New id.po file.
Bug fix in MPFR that manifested in sqrt().
Bug fix to MPFR mod operation for negative numerator.
Merge branch 'gawk-4.1-stable'
Minor doc updates.
Merge branch 'gawk-4.1-stable'