search

rchillyard / The-repository-formerly-known-as

2 stars 12 forks source link

Extended helper #15

Closed rchillyard closed 4 years ago

rchillyard commented 4 years ago

Almost certainly we will never merge this pull request. It cannot be automatically merged and all of the code in ExtendedHelper branch has been re-worked, I believe.

rchillyard commented 4 years ago

I'm pretty sure that we will just delete (and forget) this branch, but I created the pull request just in case there was something useful here.

Sraw commented 4 years ago

I believe this is an outdated one, let's close this PR.

rchillyard commented 4 years ago

Closing this pull request without merging.