Closed palmskog closed 3 years ago
After #176 was merged, I noticed that the redirect for related-tools was not working - it goes to the 404 URL: https://github.com/coq-community/awesome-coq%23tools
related-tools
The problem is that the hashtag # is getting mangled/escaped. Per the manual for RewriteRule, the correct way to fix this is using the option NE (NoEscape), which I do in this fix.
#
NE
Can confirm that the redirect works now, thanks for the quick merge!
After #176 was merged, I noticed that the redirect for
related-tools
was not working - it goes to the 404 URL: https://github.com/coq-community/awesome-coq%23toolsThe problem is that the hashtag
#
is getting mangled/escaped. Per the manual for RewriteRule, the correct way to fix this is using the optionNE
(NoEscape), which I do in this fix.