Download raw body.
[patch] Fixes to GOT_ERR_MERGE_COMMIT_OUT_OF_DATE
On Sun, Jun 04, 2023 at 05:01:18PM +0000, James Cook wrote: > On Sun, Jun 04, 2023 at 06:16:12PM +0200, Omar Polo wrote: > > forgot to attach a patch? :-) > > Oops, here it is! Committed, thank you!
[patch] Fixes to GOT_ERR_MERGE_COMMIT_OUT_OF_DATE