[html5] r8737 - [e] (0) Try to make examples more useful by having dates that can't be interpret [...]
whatwg at whatwg.org
whatwg at whatwg.org
Tue Sep 2 15:30:44 PDT 2014
Author: ianh
Date: 2014-09-02 15:30:40 -0700 (Tue, 02 Sep 2014)
New Revision: 8737
Modified:
complete.html
index
source
Log:
[e] (0) Try to make examples more useful by having dates that can't be interpreted as DD-MM
Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=26230
Affected topics: HTML
Modified: complete.html
===================================================================
--- complete.html 2014-09-02 21:29:10 UTC (rev 8736)
+++ complete.html 2014-09-02 22:30:40 UTC (rev 8737)
@@ -14677,11 +14677,11 @@
<dt>A <a href=#valid-date-string id=the-time-element:valid-date-string>valid date string</a><dd>
- <pre class=example><time>2011-11-12</time></pre>
+ <pre class=example><time>2011-11-18</time></pre>
<dt>A <a href=#valid-yearless-date-string id=the-time-element:valid-yearless-date-string>valid yearless date string</a><dd>
- <pre class=example><time>11-12</time></pre>
+ <pre class=example><time>11-18</time></pre>
<dt>A <a href=#valid-time-string id=the-time-element:valid-time-string>valid time string</a><dd>
@@ -14691,12 +14691,12 @@
<dt>A <a href=#valid-local-date-and-time-string id=the-time-element:valid-local-date-and-time-string>valid local date and time string</a><dd>
- <pre class=example><time>2011-11-12T14:54</time></pre>
- <pre class=example><time>2011-11-12T14:54:39</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929</time></pre>
- <pre class=example><time>2011-11-12 14:54</time></pre>
- <pre class=example><time>2011-11-12 14:54:39</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929</time></pre>
+ <pre class=example><time>2011-11-18T14:54</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929</time></pre>
+ <pre class=example><time>2011-11-18 14:54</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929</time></pre>
<p class=note>Times with dates but without a time zone offset are useful for specifying events
that are observed at the same specific time in each time zone, throughout a day. For example,
@@ -14723,45 +14723,45 @@
<dt>A <a href=#valid-global-date-and-time-string id=the-time-element:valid-global-date-and-time-string-2>valid global date and time string</a><dd>
- <pre class=example><time>2011-11-12T14:54Z</time></pre>
- <pre class=example><time>2011-11-12T14:54:39Z</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929Z</time></pre>
+ <pre class=example><time>2011-11-18T14:54Z</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39Z</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929Z</time></pre>
- <pre class=example><time>2011-11-12T14:54+0000</time></pre>
- <pre class=example><time>2011-11-12T14:54:39+0000</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929+0000</time></pre>
+ <pre class=example><time>2011-11-18T14:54+0000</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39+0000</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929+0000</time></pre>
- <pre class=example><time>2011-11-12T14:54+00:00</time></pre>
- <pre class=example><time>2011-11-12T14:54:39+00:00</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929+00:00</time></pre>
+ <pre class=example><time>2011-11-18T14:54+00:00</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39+00:00</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929+00:00</time></pre>
- <pre class=example><time>2011-11-12T06:54-0800</time></pre>
- <pre class=example><time>2011-11-12T06:54:39-0800</time></pre>
- <pre class=example><time>2011-11-12T06:54:39.929-0800</time></pre>
+ <pre class=example><time>2011-11-18T06:54-0800</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39-0800</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39.929-0800</time></pre>
- <pre class=example><time>2011-11-12T06:54-08:00</time></pre>
- <pre class=example><time>2011-11-12T06:54:39-08:00</time></pre>
- <pre class=example><time>2011-11-12T06:54:39.929-08:00</time></pre>
+ <pre class=example><time>2011-11-18T06:54-08:00</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39-08:00</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39.929-08:00</time></pre>
- <pre class=example><time>2011-11-12 14:54Z</time></pre>
- <pre class=example><time>2011-11-12 14:54:39Z</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929Z</time></pre>
+ <pre class=example><time>2011-11-18 14:54Z</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39Z</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929Z</time></pre>
- <pre class=example><time>2011-11-12 14:54+0000</time></pre>
- <pre class=example><time>2011-11-12 14:54:39+0000</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929+0000</time></pre>
+ <pre class=example><time>2011-11-18 14:54+0000</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39+0000</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929+0000</time></pre>
- <pre class=example><time>2011-11-12 14:54+00:00</time></pre>
- <pre class=example><time>2011-11-12 14:54:39+00:00</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929+00:00</time></pre>
+ <pre class=example><time>2011-11-18 14:54+00:00</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39+00:00</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929+00:00</time></pre>
- <pre class=example><time>2011-11-12 06:54-0800</time></pre>
- <pre class=example><time>2011-11-12 06:54:39-0800</time></pre>
- <pre class=example><time>2011-11-12 06:54:39.929-0800</time></pre>
+ <pre class=example><time>2011-11-18 06:54-0800</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39-0800</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39.929-0800</time></pre>
- <pre class=example><time>2011-11-12 06:54-08:00</time></pre>
- <pre class=example><time>2011-11-12 06:54:39-08:00</time></pre>
- <pre class=example><time>2011-11-12 06:54:39.929-08:00</time></pre>
+ <pre class=example><time>2011-11-18 06:54-08:00</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39-08:00</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39.929-08:00</time></pre>
<p class=note>Times with dates and a time zone offset are useful for specifying specific
events, or recurring virtual events where the time is not anchored to a specific geographic
@@ -14773,7 +14773,7 @@
<dt>A <a href=#valid-week-string id=the-time-element:valid-week-string>valid week string</a><dd>
- <pre class=example><time>2011-W46</time></pre>
+ <pre class=example><time>2011-W47</time></pre>
<dt>Four or more <a href=#ascii-digits id=the-time-element:ascii-digits>ASCII digits</a>, at least one of which is not U+0030 DIGIT ZERO (0)<dd>
@@ -14889,9 +14889,9 @@
<div class=example>
<p>For example, this element conveys the string "Tuesday" with the additional semantic that the
- 12th of November 2011 is the meaning that corresponds to "Tuesday":</p>
+ 18th of November 2011 is the meaning that corresponds to "Tuesday":</p>
- <pre>Today is <time datetime="2011-11-12">Tuesday</time>.</pre>
+ <pre>Today is <time datetime="2011-11-18">Tuesday</time>.</pre>
</div>
@@ -14899,7 +14899,7 @@
<p>In this example, a specific time in the Pacific Standard Time timezone is specified:</p>
- <pre>Your next meeting is at <time datetime="2011-11-12T15:00-08:00">3pm</time>.</pre>
+ <pre>Your next meeting is at <time datetime="2011-11-18T15:00-08:00">3pm</time>.</pre>
</div>
Modified: index
===================================================================
--- index 2014-09-02 21:29:10 UTC (rev 8736)
+++ index 2014-09-02 22:30:40 UTC (rev 8737)
@@ -14677,11 +14677,11 @@
<dt>A <a href=#valid-date-string id=the-time-element:valid-date-string>valid date string</a><dd>
- <pre class=example><time>2011-11-12</time></pre>
+ <pre class=example><time>2011-11-18</time></pre>
<dt>A <a href=#valid-yearless-date-string id=the-time-element:valid-yearless-date-string>valid yearless date string</a><dd>
- <pre class=example><time>11-12</time></pre>
+ <pre class=example><time>11-18</time></pre>
<dt>A <a href=#valid-time-string id=the-time-element:valid-time-string>valid time string</a><dd>
@@ -14691,12 +14691,12 @@
<dt>A <a href=#valid-local-date-and-time-string id=the-time-element:valid-local-date-and-time-string>valid local date and time string</a><dd>
- <pre class=example><time>2011-11-12T14:54</time></pre>
- <pre class=example><time>2011-11-12T14:54:39</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929</time></pre>
- <pre class=example><time>2011-11-12 14:54</time></pre>
- <pre class=example><time>2011-11-12 14:54:39</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929</time></pre>
+ <pre class=example><time>2011-11-18T14:54</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929</time></pre>
+ <pre class=example><time>2011-11-18 14:54</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929</time></pre>
<p class=note>Times with dates but without a time zone offset are useful for specifying events
that are observed at the same specific time in each time zone, throughout a day. For example,
@@ -14723,45 +14723,45 @@
<dt>A <a href=#valid-global-date-and-time-string id=the-time-element:valid-global-date-and-time-string-2>valid global date and time string</a><dd>
- <pre class=example><time>2011-11-12T14:54Z</time></pre>
- <pre class=example><time>2011-11-12T14:54:39Z</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929Z</time></pre>
+ <pre class=example><time>2011-11-18T14:54Z</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39Z</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929Z</time></pre>
- <pre class=example><time>2011-11-12T14:54+0000</time></pre>
- <pre class=example><time>2011-11-12T14:54:39+0000</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929+0000</time></pre>
+ <pre class=example><time>2011-11-18T14:54+0000</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39+0000</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929+0000</time></pre>
- <pre class=example><time>2011-11-12T14:54+00:00</time></pre>
- <pre class=example><time>2011-11-12T14:54:39+00:00</time></pre>
- <pre class=example><time>2011-11-12T14:54:39.929+00:00</time></pre>
+ <pre class=example><time>2011-11-18T14:54+00:00</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39+00:00</time></pre>
+ <pre class=example><time>2011-11-18T14:54:39.929+00:00</time></pre>
- <pre class=example><time>2011-11-12T06:54-0800</time></pre>
- <pre class=example><time>2011-11-12T06:54:39-0800</time></pre>
- <pre class=example><time>2011-11-12T06:54:39.929-0800</time></pre>
+ <pre class=example><time>2011-11-18T06:54-0800</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39-0800</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39.929-0800</time></pre>
- <pre class=example><time>2011-11-12T06:54-08:00</time></pre>
- <pre class=example><time>2011-11-12T06:54:39-08:00</time></pre>
- <pre class=example><time>2011-11-12T06:54:39.929-08:00</time></pre>
+ <pre class=example><time>2011-11-18T06:54-08:00</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39-08:00</time></pre>
+ <pre class=example><time>2011-11-18T06:54:39.929-08:00</time></pre>
- <pre class=example><time>2011-11-12 14:54Z</time></pre>
- <pre class=example><time>2011-11-12 14:54:39Z</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929Z</time></pre>
+ <pre class=example><time>2011-11-18 14:54Z</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39Z</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929Z</time></pre>
- <pre class=example><time>2011-11-12 14:54+0000</time></pre>
- <pre class=example><time>2011-11-12 14:54:39+0000</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929+0000</time></pre>
+ <pre class=example><time>2011-11-18 14:54+0000</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39+0000</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929+0000</time></pre>
- <pre class=example><time>2011-11-12 14:54+00:00</time></pre>
- <pre class=example><time>2011-11-12 14:54:39+00:00</time></pre>
- <pre class=example><time>2011-11-12 14:54:39.929+00:00</time></pre>
+ <pre class=example><time>2011-11-18 14:54+00:00</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39+00:00</time></pre>
+ <pre class=example><time>2011-11-18 14:54:39.929+00:00</time></pre>
- <pre class=example><time>2011-11-12 06:54-0800</time></pre>
- <pre class=example><time>2011-11-12 06:54:39-0800</time></pre>
- <pre class=example><time>2011-11-12 06:54:39.929-0800</time></pre>
+ <pre class=example><time>2011-11-18 06:54-0800</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39-0800</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39.929-0800</time></pre>
- <pre class=example><time>2011-11-12 06:54-08:00</time></pre>
- <pre class=example><time>2011-11-12 06:54:39-08:00</time></pre>
- <pre class=example><time>2011-11-12 06:54:39.929-08:00</time></pre>
+ <pre class=example><time>2011-11-18 06:54-08:00</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39-08:00</time></pre>
+ <pre class=example><time>2011-11-18 06:54:39.929-08:00</time></pre>
<p class=note>Times with dates and a time zone offset are useful for specifying specific
events, or recurring virtual events where the time is not anchored to a specific geographic
@@ -14773,7 +14773,7 @@
<dt>A <a href=#valid-week-string id=the-time-element:valid-week-string>valid week string</a><dd>
- <pre class=example><time>2011-W46</time></pre>
+ <pre class=example><time>2011-W47</time></pre>
<dt>Four or more <a href=#ascii-digits id=the-time-element:ascii-digits>ASCII digits</a>, at least one of which is not U+0030 DIGIT ZERO (0)<dd>
@@ -14889,9 +14889,9 @@
<div class=example>
<p>For example, this element conveys the string "Tuesday" with the additional semantic that the
- 12th of November 2011 is the meaning that corresponds to "Tuesday":</p>
+ 18th of November 2011 is the meaning that corresponds to "Tuesday":</p>
- <pre>Today is <time datetime="2011-11-12">Tuesday</time>.</pre>
+ <pre>Today is <time datetime="2011-11-18">Tuesday</time>.</pre>
</div>
@@ -14899,7 +14899,7 @@
<p>In this example, a specific time in the Pacific Standard Time timezone is specified:</p>
- <pre>Your next meeting is at <time datetime="2011-11-12T15:00-08:00">3pm</time>.</pre>
+ <pre>Your next meeting is at <time datetime="2011-11-18T15:00-08:00">3pm</time>.</pre>
</div>
Modified: source
===================================================================
--- source 2014-09-02 21:29:10 UTC (rev 8736)
+++ source 2014-09-02 22:30:40 UTC (rev 8737)
@@ -20395,7 +20395,7 @@
<dd>
- <pre class="example"><time>2011-11-12</time></pre>
+ <pre class="example"><time>2011-11-18</time></pre>
</dd>
@@ -20404,7 +20404,7 @@
<dd>
- <pre class="example"><time>11-12</time></pre>
+ <pre class="example"><time>11-18</time></pre>
</dd>
@@ -20424,12 +20424,12 @@
<dd>
- <pre class="example"><time>2011-11-12T14:54</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39.929</time></pre>
- <pre class="example"><time>2011-11-12 14:54</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39.929</time></pre>
+ <pre class="example"><time>2011-11-18T14:54</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39.929</time></pre>
+ <pre class="example"><time>2011-11-18 14:54</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39.929</time></pre>
<p class="note">Times with dates but without a time zone offset are useful for specifying events
that are observed at the same specific time in each time zone, throughout a day. For example,
@@ -20466,45 +20466,45 @@
<dd>
- <pre class="example"><time>2011-11-12T14:54Z</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39Z</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39.929Z</time></pre>
+ <pre class="example"><time>2011-11-18T14:54Z</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39Z</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39.929Z</time></pre>
- <pre class="example"><time>2011-11-12T14:54+0000</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39+0000</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39.929+0000</time></pre>
+ <pre class="example"><time>2011-11-18T14:54+0000</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39+0000</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39.929+0000</time></pre>
- <pre class="example"><time>2011-11-12T14:54+00:00</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39+00:00</time></pre>
- <pre class="example"><time>2011-11-12T14:54:39.929+00:00</time></pre>
+ <pre class="example"><time>2011-11-18T14:54+00:00</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39+00:00</time></pre>
+ <pre class="example"><time>2011-11-18T14:54:39.929+00:00</time></pre>
- <pre class="example"><time>2011-11-12T06:54-0800</time></pre>
- <pre class="example"><time>2011-11-12T06:54:39-0800</time></pre>
- <pre class="example"><time>2011-11-12T06:54:39.929-0800</time></pre>
+ <pre class="example"><time>2011-11-18T06:54-0800</time></pre>
+ <pre class="example"><time>2011-11-18T06:54:39-0800</time></pre>
+ <pre class="example"><time>2011-11-18T06:54:39.929-0800</time></pre>
- <pre class="example"><time>2011-11-12T06:54-08:00</time></pre>
- <pre class="example"><time>2011-11-12T06:54:39-08:00</time></pre>
- <pre class="example"><time>2011-11-12T06:54:39.929-08:00</time></pre>
+ <pre class="example"><time>2011-11-18T06:54-08:00</time></pre>
+ <pre class="example"><time>2011-11-18T06:54:39-08:00</time></pre>
+ <pre class="example"><time>2011-11-18T06:54:39.929-08:00</time></pre>
- <pre class="example"><time>2011-11-12 14:54Z</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39Z</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39.929Z</time></pre>
+ <pre class="example"><time>2011-11-18 14:54Z</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39Z</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39.929Z</time></pre>
- <pre class="example"><time>2011-11-12 14:54+0000</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39+0000</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39.929+0000</time></pre>
+ <pre class="example"><time>2011-11-18 14:54+0000</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39+0000</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39.929+0000</time></pre>
- <pre class="example"><time>2011-11-12 14:54+00:00</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39+00:00</time></pre>
- <pre class="example"><time>2011-11-12 14:54:39.929+00:00</time></pre>
+ <pre class="example"><time>2011-11-18 14:54+00:00</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39+00:00</time></pre>
+ <pre class="example"><time>2011-11-18 14:54:39.929+00:00</time></pre>
- <pre class="example"><time>2011-11-12 06:54-0800</time></pre>
- <pre class="example"><time>2011-11-12 06:54:39-0800</time></pre>
- <pre class="example"><time>2011-11-12 06:54:39.929-0800</time></pre>
+ <pre class="example"><time>2011-11-18 06:54-0800</time></pre>
+ <pre class="example"><time>2011-11-18 06:54:39-0800</time></pre>
+ <pre class="example"><time>2011-11-18 06:54:39.929-0800</time></pre>
- <pre class="example"><time>2011-11-12 06:54-08:00</time></pre>
- <pre class="example"><time>2011-11-12 06:54:39-08:00</time></pre>
- <pre class="example"><time>2011-11-12 06:54:39.929-08:00</time></pre>
+ <pre class="example"><time>2011-11-18 06:54-08:00</time></pre>
+ <pre class="example"><time>2011-11-18 06:54:39-08:00</time></pre>
+ <pre class="example"><time>2011-11-18 06:54:39.929-08:00</time></pre>
<p class="note">Times with dates and a time zone offset are useful for specifying specific
events, or recurring virtual events where the time is not anchored to a specific geographic
@@ -20521,7 +20521,7 @@
<dd>
- <pre class="example"><time>2011-W46</time></pre>
+ <pre class="example"><time>2011-W47</time></pre>
</dd>
@@ -20675,9 +20675,9 @@
<div class="example">
<p>For example, this element conveys the string "Tuesday" with the additional semantic that the
- 12th of November 2011 is the meaning that corresponds to "Tuesday":</p>
+ 18th of November 2011 is the meaning that corresponds to "Tuesday":</p>
- <pre>Today is <time datetime="2011-11-12">Tuesday</time>.</pre>
+ <pre>Today is <time datetime="2011-11-18">Tuesday</time>.</pre>
</div>
@@ -20685,7 +20685,7 @@
<p>In this example, a specific time in the Pacific Standard Time timezone is specified:</p>
- <pre>Your next meeting is at <time datetime="2011-11-12T15:00-08:00">3pm</time>.</pre>
+ <pre>Your next meeting is at <time datetime="2011-11-18T15:00-08:00">3pm</time>.</pre>
</div>
More information about the Commit-Watchers
mailing list