Download patch
ref: 95f4d0b36eb2d25889eed6ab48fb025d5b346b67 parent: 25d91f98a97df36e1da381b273219ceedf256a4d author: Ori Bernstein <ori@eigenstate.org> date: Sun Jul 9 06:18:26 EDT 2017
Style(9)-ify.