Closed postmodern closed 13 years ago
Minor clean-ups, cherry-pick what you like.
These commits have been merged. Thanks!
Minor clean-ups, cherry-pick what you like.