tree a12a08d43a93b781c8f03ff8964aa4fa3e38c6c2
parent 6d07f0e8b112b251127e847cd7566c51b9e4faa2
author Peter Harders <harders@ids-mannheim.de> 1595433770 +0200
committer Peter Harders <harders@ids-mannheim.de> 1595939642 +0200

change utf8_encode and utf8_decode

ensure strictly valid UTF-8 output by using utf-8-strict instead of utf8
(see in Encode: 'encode_utf8' and 'UTF-8 vs. utf8 vs. UTF8'
 and in perlunifaq: What's the difference between "UTF-8" and "utf8"?)

Change-Id: I6d8797ddd24339ecf2ab4ccacad3801a6a054ca2