tree fce30d617f4f5d004fe1303af6d4a15f24988aae
parent 17fc44c9b3040538839f63d344b98ad5a904d520
author Chris Jerdonek <chris.jerdonek@gmail.com> 1353504764 -0800
committer Chris Jerdonek <chris.jerdonek@gmail.com> 1353504764 -0800

Fix label in docs (from issue #13538).