Comment on Fix for issue: "Change development mail redirection", Issue #12