update version

[lttv.git] / trunk / lttv / doc / developer / lttng-lttv-compatibility.html

diff --git a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
index b4d5852d5db5b74d5de6a12ad5b7b2a6881b49a0..ec406b0f9f2dd88154616878a8869fde36ec06bf 100644 (file)
--- a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
+++ b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
@@ -3035,9 +3035,12 @@ powerpc64, s390, sparc, sparc64.<br>
 <tr>
 <td style="vertical-align: top;">
 0.11.1<br>
+0.11.2<br>
 </td>
 <td style="vertical-align: top;">
 0.39<br>
+0.40<br>
+0.41<br>
 </td>
 <td style="vertical-align: top;">
 0.53<br>
@@ -3060,6 +3063,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>