Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Log arrangement sharing #216
This PR introduces logging statements in the construction, clone, and drop of the
This information is meant to allow introspection into the amount of re-use in the system, for diagnostic purposes (to see if sharing is effective, and to report the degree for celebration).