Bug fix in uninstall in extension directory.
Updated it.po file.
Merge branch 'gawk-4.1-stable'
Fix option ordering in usage output.
Bug fix for I/O errors in the middle of a file.
Merge branch 'gawk-4.1-stable'
Clarify doc on div().
Add newline to printhuge test.
Add a warning if -M used and MPFR not available.
Merge branch 'gawk-4.1-stable'
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.