Download patch
ref: 2519810769d30d630bf6b6f736268066b6bcc093 parent: 8c6caa849400ae408140cbe04eb02f299dd82e82 author: Ori Bernstein <ori@eigenstate.org> date: Tue Dec 31 00:06:57 EST 2019
don't double-print up to date.