mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-10-15 16:30:26 +02:00
minor portability fixes; printf now uses double for floating point conversions by default in posix mode
This commit is contained in: