Thu, 07 Aug 2025 12:35:37 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
Fri, 05 Jul 2024 13:46:13 +0200 | wenzelm | tuned signature: expose internal limits for testing or add-on implementations; | file | diff | annotate |
Fri, 05 Jul 2024 13:41:01 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 05 Jul 2024 13:38:35 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 05 Jul 2024 13:36:49 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 05 Jul 2024 12:53:45 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Fri, 05 Jul 2024 11:38:21 +0200 | wenzelm | prefer official UTF-8 decoding (in contrast to 2541de190d92): this is also more efficient (factor 10-20); | file | diff | annotate |