Closed doctordns closed 3 years ago
This looks ready to go. There is only one suggestion I have ignored which is Edsger Dijkstra's first name, which really is Edsger!
https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
Not sure what is holding this from being mergable?
PR Summary
PR Checklist