merge with 0.5

2025-02-25 18:55:22 -06:00 · 2009-02-21 19:59:33 +01:00
parent 49cecc8f58 2d0345a7d9
commit 18c3748c98
2 changed files with 27 additions and 0 deletions
--- a/3
+++ b/3
@@ -174,6 +174,9 @@ New features added
 Release 0.5.2 (in development)
 ==============================

+* #71: If a decoding error occurs in source files, print a
+  warning and replace the characters by "?".
+
 * Fix a problem in the HTML search if the index takes too long
  to load.