Revert previous change

Interestingly all of the bots disagreed with the change and the complain is... weird.
This commit is contained in:
Ebrahim Byagowi 2019-07-17 21:38:19 +04:30 committed by GitHub
parent ee05627aff
commit b8e90ca1a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -179,7 +179,7 @@ _create_old_gid_to_new_gid_map (const hb_face_t *face,
unsigned max_glyph =
+ hb_iter (all_gids_to_retain)
| hb_reduce (hb_max, 0u)
| hb_reduce (hb_max, 0)
;
*num_glyphs = max_glyph + 1;
}