Adam Barth 6db39fe95b Rename LabeledGlobalKey's argument to debugLabel
The old name was confusing.

Fixes #462
2015-11-20 13:15:32 -08:00
..