(Apr-19-2020, 10:45 AM)steve_shambles Wrote: Do I now submit a "pull request" so that the author can update the package?
Normally - yes, you can make a pull request and maintainer can review and merge your pull request.
Given their comment this is quick-and_dirty patch and that they don't have time to implement it properly as well as they provide you with diff file (i.e. they probably made the change locally, and produce the diff file, but didn't push to remote) they will probably not accept and merge your pull request. If they wanted, they can push their own change. Note there are 3 pull requests (of which 2 are 2-years old and they are neither merged nor rejected.)
If you can't explain it to a six year old, you don't understand it yourself, Albert Einstein
How to Ask Questions The Smart Way: link and another link
Create MCV example
Debug small programs
How to Ask Questions The Smart Way: link and another link
Create MCV example
Debug small programs