Closed jvasile closed 3 years ago
I had to rebase the branch anyway, so went back into history and fixed the typo before James made it. This branch is now a fairly small and clean diff against main
. @lacabra, when you get a chance could you please review and mark your requested changes as having been addressed now? (GitHub seems to want this, even though GitHub also apparently knows that your suggested change has been made obsolete by more recent events... I'm not sure why GitHub's right hand and left hand aren't talking to each other here, but anyway we can just solve it by having you tell GitHub that your request has been handled.)
Add more examples