#7385: sharing redirection applied