shithub: git9

Download patch

ref: 0f064279e7a15c16894fb3527d96f78b0aa0f550
parent: da809634e9cb0668ff9d0a37b297a4720ab79086
author: Ori Bernstein <ori@eigenstate.org>
date: Tue Oct 22 14:04:53 EDT 2019

Switch branches correctly with git/branch.