| commit | 5de2d9cdbdca870901c0ba9472f5b78c48ba0a58 | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <ebrahim@gnu.org> | Thu Oct 04 02:14:18 2018 +0330 |
| committer | GitHub <noreply@github.com> | Thu Oct 04 02:14:18 2018 +0330 |
| tree | b4e8dc5657fdd12c050cad8487cb1995090ad3a7 | |
| parent | c2c7e6471ca912c91c82f6d71338082978f13dc6 [diff] |
Minor, fix double-promotion warnings (#1221)