July 8, 2019
10:52 a.m.
A long time since I have done patching.
Can you tell me where to run this patch? Which git project? Pardon my _complete_ dumbness.
Andrew