diff --git a/development/autotests/ctests-costs-benefits.txt b/development/autotests/ctests-costs-benefits.txt index 0bd6752cfb..b780aeed03 100644 --- a/development/autotests/ctests-costs-benefits.txt +++ b/development/autotests/ctests-costs-benefits.txt @@ -29,3 +29,5 @@ Fix : 92f8612a Report : https://www.mail-archive.com/search?l=mid&q=b0a33192bc5635bd1cb5596e346f9c34615ffeb4.camel%40lyx.org Fix : ab1d418f + +Fix : ef2b2827