src-util/diagnostic/check-ob-perms.sh
changeset 6901 43a7191bdeb6
parent 6886 60a98816806d
child 9072 79e55dfc8af0
equal deleted inserted replaced
6900:b2f05a401d01 6901:43a7191bdeb6