mirror of
https://github.com/open-policy-agent/opa.git
synced 2026-08-28 03:05:04 -06:00
e460718b93
Fixes #3927. Signed-off-by: Stephan Renatus <stephan.renatus@gmail.com>