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