Closed neutaaaaan closed 1 year ago
Your name change is the only thing that happened recently but why it would cause those troubles I don't know.
I took the liberty of fixing the conflict and merging.
Now that quiet is in, you should do further work on it in separate branches.
Github is, once again, trying to reapply a commit that's already in master instead of simply applying the latest one : 8c: fix IncSearch from this pr 8c: fix IncSearch from master
Best I can tell, my own copy of the repo is clean. Any idea what's going on?