Closed charlietanksley closed 12 years ago
This removes the discussions of any and exists from the website.
I thought that 'fix issue #25' comment was going to link it to the earlier discussion. I don't really know how to use Github pull requests that well! :)
This removes the discussions of any and exists from the website.