X-Git-Url: http://git.lttng.org./?a=blobdiff_plain;f=trunk%2Flttv%2Fdoc%2Fdeveloper%2Flttng-lttv-compatibility.html;h=ec406b0f9f2dd88154616878a8869fde36ec06bf;hb=11aa591817846326962c1a31851bead9d6c91c7a;hp=b4d5852d5db5b74d5de6a12ad5b7b2a6881b49a0;hpb=a607d4c684ffe92cf0c4b9af9c3b173074135e23;p=lttv.git

diff --git a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
index b4d5852d..ec406b0f 100644
--- 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>