From: Wolfgang Bangerth Date: Sun, 12 Nov 2017 21:10:48 +0000 (-0700) Subject: Merge pull request #5446 from drwells/convert-to-utf8 X-Git-Tag: v9.0.0-rc1~788 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d849eadc9617c85bdb15eefa108b27cbbe8dd23d;p=dealii.git Merge pull request #5446 from drwells/convert-to-utf8 Prefer UTF-8 to latin-1. --- d849eadc9617c85bdb15eefa108b27cbbe8dd23d