Fix aux redirection#1249

lucasadelino wants to merge 1 commit into

UniversalDependencies:pages-sourceUniversalDependencies/docs:pages-sourcefrom

lucasadelino:pages-sourcelucasadelino/docs:pages-sourceCopy head branch name to clipboard