src-util/diagnostic/check-ob-perms.sh
changeset 20690 895ac3b1f59a
parent 9085 79e55dfc8af0
equal deleted inserted replaced
20689:42236f0fea97 20690:895ac3b1f59a