[PATCH notification] spec: Add badge-number hint

[Bastien Nocera]

As discussed during the Wayland meeting at FOSDEM 2015.
---
 docs/notification-spec.xml | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/docs/notification-spec.xml b/docs/notification-spec.xml
index fa1da0b..3bc0292 100644
--- a/docs/notification-spec.xml
+++ b/docs/notification-spec.xml
@@ -3,8 +3,8 @@
 <article id="index">
  <articleinfo>
   <title>Desktop Notifications Specification</title>
-  <releaseinfo>Version 1.2</releaseinfo>
-  <date>28 October 2010</date>
+  <releaseinfo>Version 1.3</releaseinfo>
+  <date>16 February 2015</date>
   <authorgroup>
    <author>
     <firstname>Mike</firstname>
@@ -674,6 +674,19 @@
       <entry>>= 1.2</entry>
      </row>
      <row>
+      <entry><literal>"badge-number"</literal></entry>
+      <entry>INT32</entry>
+      <entry>
+        When set, a server can use it to show the number attached to
+        the notification on top of the application icon referenced by the
+        "desktop-entry" hint.
+        Note that servers can choose not to show the number, either because
+        they do not implement the capability, or in response to user
+        configuration to suppress its display.
+      </entry>
+      <entry>>= 1.3</entry>
+     </row>
+     <row>
       <entry><literal>"category"</literal></entry>
       <entry>STRING</entry>
       <entry>