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://jsonnet.org/contributing.html for more information.