Re: [PATCH] Fix a bad usage of execWithRedirect (#1197290)