Closed cperciva closed 3 years ago
Assuming you don't see any other issues here, can you tidy up the git history? I tried and failed at git.
Done. git can be sneaky... although this seemed like an easy case? Oh well.
wait, I did screw this up after all.
Time for git reflog fun! :)
git reflog
I believe that this is ready for merging now.
Assuming you don't see any other issues here, can you tidy up the git history? I tried and failed at git.