Bastian Germann Thu, 27 Jul 2023 03:33:14 -0700
This is fixed with v0.19.0: https://github.com/google/jsonnet/commit/e43ca8e958d129094bec58fe06a87b
