Before we can merge your pull request, we need you to sign either the Google individual or corporate
contributor license agreement (CLA), unless you are a Google employee, intern, or contractor.

Please see http://google.github.io/jsonnet/doc/contributing.html for more information.