# HG changeset patch # User Alain Mazy # Date 1668072327 -3600 # Node ID a2ed57d8a2f05070c9c37c658ec46b9b71c4a7aa # Parent a5f2976fe8a0b90425900c5b1fe3051245a0515e news diff -r a5f2976fe8a0 -r a2ed57d8a2f0 NEWS --- a/NEWS Thu Nov 10 10:25:01 2022 +0100 +++ b/NEWS Thu Nov 10 10:25:27 2022 +0100 @@ -1,5 +1,5 @@ -Pending changes in the mainline -=============================== +2022-11-10 - v 0.4.0 +==================== * new configuration option "CheckedLevel" that is clearer than "UncheckedLevels". "UncheckedLevels" remains for backward compatibility.