X-Git-Url: https://git.lttng.org/?a=blobdiff_plain;f=trunk%2Flttv%2Fdoc%2Fdeveloper%2Flttng-lttv-compatibility.html;h=80937f3e13e7d06232ea57cc49cfed4b49d8a5cd;hb=07ca8daa71f3963d0a5b27a04545397ac7589a5d;hp=94b2c9bfb1ca7eb1858e35f8942ce95145997d8f;hpb=ac3b1c7df56f3d157cde66a2f4b7af5633337b64;p=lttv.git

diff --git a/trunk/lttv/doc/developer/lttng-lttv-compatibility.html b/trunk/lttv/doc/developer/lttng-lttv-compatibility.html
index 94b2c9bf..80937f3e 100644
--- 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>