# HG changeset patch
# User Yaroslav Zhuravlev <yar@nginx.com>
# Date 1555003725 -10800
# Node ID 81a39b7032fd67fbf3573f1f5abefdc23d794ab3
# Parent  cebf280e13a89caecbea6ca8271ecda5f8b0ceba
Removed obsolete symbol from devguide.

diff -r cebf280e13a8 -r 81a39b7032fd xml/en/docs/dev/development_guide.xml
--- a/xml/en/docs/dev/development_guide.xml	Thu Apr 11 20:27:50 2019 +0300
+++ b/xml/en/docs/dev/development_guide.xml	Thu Apr 11 20:28:45 2019 +0300
@@ -9,7 +9,7 @@
 <article name="Development guide"
          link="/en/docs/dev/development_guide.html"
          lang="en"
-         rev="5">
+         rev="6">
 
 <section name="Introduction" id="introduction">
 
@@ -4484,7 +4484,7 @@
 Before this phase, the default location for the relevant virtual server
 is assigned to the request, and any module requesting a location configuration
 receives the configuration for the default server location.
-This phase a assigns a new location to the request.
+This phase assigns a new location to the request.
 No additional handlers can be registered at this phase.
 </listitem>