mirror of
https://github.com/open-policy-agent/opa.git
synced 2026-08-24 09:15:31 -06:00
52b621301f
Fixes #4495 Signed-off-by: Anders Eknert <anders@eknert.com>