Merge "Suppress spurious denial" into pi-dev