Merge branch '__rultor'

yegor256 · May 5, 2019 · 762d3fd · 762d3fd
2 parents 6f71b29 + ea6f0eb
commit 762d3fd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/xml/pm/claims/simple.xml b/xml/pm/claims/simple.xml
@@ -21,6 +21,7 @@ SOFTWARE.
     <created>2016-12-29T09:03:21.684Z</created>
     <author>yegor256</author>
     <token>slack;C43789437;yegor256</token>
+    <priority>HIGH</priority>
     <until>2016-12-29T10:03:21.684Z</until>
     <params>
       <param name="role">ARC</param>

diff --git a/xsd/pm/claims.xsd b/xsd/pm/claims.xsd
@@ -38,6 +38,7 @@ SOFTWARE.
       <xs:element name="until" minOccurs="0" type="xs:dateTime"/>
       <xs:element name="author" minOccurs="0" type="login"/>
       <xs:element name="unique" minOccurs="0" type="xs:string"/>
+      <xs:element name="priority" minOccurs="0" type="xs:string"/>
       <xs:element name="token" minOccurs="0">
         <xs:simpleType>
           <xs:restriction base="xs:string">