GEOS-6753: AuthenticationFilter extracting credentials from request headers in a configurable way
Fix typo in documentation.
Merge pull request #809 from marcjansen/patch-2

Fix typo in documentation.
Merge pull request #807 from mbarto/credentials_from_http_header

GEOS-6753: AuthenticationFilter extracting credentials from request headers in a configurable way
Merge remote-tracking branch 'upstream/master'