Don't use deprecated headers.
authorUwe Hermann <uwe@hermann-uwe.de>
Mon, 20 Mar 2017 20:40:29 +0000 (21:40 +0100)
committerUwe Hermann <uwe@hermann-uwe.de>
Thu, 23 Mar 2017 16:59:00 +0000 (17:59 +0100)
This patch was generated using clang-tidy:

  clang-tidy -checks="-*,modernize-deprecated-headers" -fix

(with some additional manual fixups)


No differences found