-
Notifications
You must be signed in to change notification settings - Fork 50
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Includes changes from all other PRs #17
base: master
Are you sure you want to change the base?
Conversation
Correct tense, plurals and spelling. "Not build" should either be "No build" or "Not built". The second is the most likely given the apparent context.
|
Apologies! I used the GitHub merge facility to resolve conflicts and appear to have made a merge mistake. Will correct it. |
I was not putting blame on anybody, just trying to locate the error in the build so that anybody wanting to have a look has a first track to follow. 😊 Thank you so much. |
I probably should have just left the pull request alone, since I don't have enough time to review it. However, it seemed like an easy conflict to resolve. Surprise, there was more to the fix than just resolving the conflict. However, hopefully that might allow others to test the pull request as @presPetkov did several years ago. |
This includes changes from:
#10
#13
#14
#16
And a change based on a comment in the PR.
It looks like nobody is looking after this project. Creating the PR in order to get a build I can run a few tests against which contains all PR fixes.