rgrinberg Merge pull request #1183 from rgrinberg/private-dir-contents
Make types in Dir_contents more private
Latest commit c0eebce Aug 27, 2018