Closed deavmi closed 6 years ago
I think I only "approved"(?) the last one. Is is in the code? Did you merge it?
Let me see.
Hi @deavmi , do you have the necessary access to merge your commit? I have no objection here as this would enhance the documentation. Kind regards, Steffen
I have access to your repo yes.
This was an old PR from my personal repo.
Okay, then you can close the pull request. thanks, Steffen
Just some more changes.