JuliaLang/julia — pull request #8803 by maleadt (2014-10-24 12:20:25+00:00)
Title: Update developer docs with push/popmeta! changes.

This adds documentation for the changes of #8779.