Download patch
ref: ea1f78d7ebd7ac4866c86152e1fc0c425522ca15 parent: dad47c641c4ed7e3e2fcc7a894a24cf9b051fb9d author: Ori Bernstein <ori@eigenstate.org> date: Tue Apr 14 18:35:48 EDT 2020
Improve merge message: give command to merge.