Update the THANKS file

12 jobs for master in 4 minutes and 43 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #243380
amd64 debian
build-debian

00:00:34

passed #243384
debian aarch64
build-debian-aarch64

00:01:38

passed #243385
debian aarch64
build-debian-aarch64-clang-5

00:01:10

passed #243381
amd64 debian
build-debian-static

00:00:32

passed #243387
debian aarch64
build-debian-werror

00:00:32

passed #243386
macos
build-macos

00:00:27

passed #243382
win32
build-win32

00:00:29

passed #243383
win64
build-win64

00:00:36

 
  Test
passed #243388
amd64 debian
test-debian

00:00:42

passed #243389
amd64 debian
test-debian-asan

00:02:04

passed #243390
amd64 debian
test-debian-msan

00:00:58

passed #243391
amd64 debian
test-debian-ubsan

00:01:18