Thanks, pushed as 962723b046a.
Dominic
- [PATCH] c: Do not keep excess precision for the result of ! [... Dominic P
- Re: [PATCH] c: Do not keep excess precision for the resu... Joseph Myers
- Re: [PATCH] c: Do not keep excess precision for the ... Dominic P
