Comment from [email protected] on rip-zero-opt#700

travisdowns-bot wants to merge 1 commit intomastertravisdowns/travisdowns.github.io:masterfrom

staticman_c8472e90-90a0-11ef-a673-f501b2868b2atravisdowns/travisdowns.github.io:staticman_c8472e90-90a0-11ef-a673-f501b2868b2aCopy head branch name to clipboard