Skip to content

Conversation

yunhailuo
Copy link
Contributor

I'm not good at photo editing. It fixed the name label but doubled the file size.

@ben
Copy link
Member

ben commented Jan 4, 2018

Nice! Maybe run it through https://tinypng.com/ for compression?

It fixed the name label but doubled the file size.
@yunhailuo
Copy link
Contributor Author

Thanks @ben ! That works, and I amended the commit. Please check.

@ben
Copy link
Member

ben commented Jan 4, 2018

@ben ben merged commit 53adade into progit:master Jan 4, 2018
@YueLinHo
Copy link
Contributor

This fixed issues #950. Also #449, #694, #1113.
(BTW, the issue #357 is talking about renaming John/Josie/Jessica to Alice/Bob/Candy.)

Actually, The latest PDF file is good. See:
image

But, web version is still wrong:
image

@ben
Copy link
Member

ben commented Feb 14, 2019

It's possible there's a job that needs to be run in the website repo to fix this. @peff, do you know what this might be?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants