https://authzed.com logo
j

Joey

07/20/2022, 10:02 PM
do you mind filing an issue on github.com/authzed/zed about this?