update compat

git-svn-id: http://ltt.polymtl.ca/svn@3105 04897980-b3bd-0310-b5e0-8ef037075253

diff --git a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
index 94b2c9bfb1ca7eb1858e35f8942ce95145997d8f..80937f3e13e7d06232ea57cc49cfed4b49d8a5cd 100644 (file)
--- a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
+++ b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
@@ -3039,6 +3039,7 @@ powerpc64, s390, sparc, sparc64.<br>
 <td style="vertical-align: top;">
 0.39<br>
 0.40<br>
+0.41<br>
 </td>
 <td style="vertical-align: top;">
 0.53<br>
@@ -3061,6 +3062,9 @@ obsolete<br>
 </td>
 <td style="vertical-align: top;">
 LTTng 0.39 and LTTV 0.11.1 fixes 32-64 bits subbuffer header portability.<br>
+LTTng 0.41 reintroduces the formal verification fix, which solves the
+case where the reader thinks the uncommitted subbuffer is fully committed.
+Unlikely to happen, but could, with small buffers especially.<br>
 </td>
 <td style="vertical-align: top;">
 </td>