typo: local-redirect 'page that is' => 'page is'

This commit is contained in:
Ben Greenman 2018-01-30 23:14:59 -05:00 committed by GitHub
parent ad0a47c570
commit 367e703c32
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,7 +9,7 @@
@title{Redirections}
This page that is intended to redirect to the result of a search
This page is intended to redirect to the result of a search
request. Since you're reading this, it seems that the redirection
did not work.