Marius Vikhammer 1531f2db2a ci: fix check_public_headers.py failure with python3 due to non ascii chars
check_public_headers.py would fail when reading non-ascii chars on systems where
the default encoding was ascii.

Also fixes error handling issues, as any uncaught exeception would cause the program
to run indefinitely.
2020-06-15 15:20:43 +08:00
..
2020-05-19 12:17:32 +02:00
2020-05-22 19:08:02 +08:00
2020-05-20 10:50:10 +08:00
2020-05-12 22:27:06 +02:00
2020-05-25 10:27:05 +07:00
2020-04-30 06:47:49 +00:00
2020-05-20 12:07:51 +02:00
2020-05-25 10:27:05 +07:00