antoniop
committed
on 23 Feb
Flush also the threaded cache whenever we flush the permission cache, so that one does not need to call this private api directly