mirror of
https://github.com/MariaDB/server.git
synced 2025-11-06 13:10:12 +03:00
don't use mysql-5.6 change. correct fix: zero-out rounded tail after the number was shifted because of the carry digit (otherwise the carry digit will be zeroed out too).
18 KiB
18 KiB