Merge branch 'master' into next

16 jobs for next in 292 minutes and 21 seconds (queued for 44 minutes and 53 seconds)
Status Job ID Name Coverage
  Build
passed #138554
alpine-gcc

00:54:01

passed #138555
arch-clang

00:52:15

passed #138556
arch-gcc-glibcxxdebug

01:16:49

passed #138553
debian-gcc-snapshot

01:12:00

passed #138551
debian-stable-gcc

01:02:18

passed #138552
debian-unstable-gcc-coverage

00:34:08

90.7%
passed #138559
debpkg-stable

01:22:21

passed #138560
debpkg-unstable

01:12:00

passed #138557
mingw-shared

00:11:49

passed #138558
mingw-static

00:09:54

passed #138562
armv7
raspbian

01:31:59

passed #138561
rpm-pkg

01:05:27

 
  Build2
passed #138563
x86
debpkg-stable-i386

01:08:00

passed #138564
x86
debpkg-unstable-i386

00:58:14

 
  Publish
passed #138565
dput
publish-rpm

00:00:29

passed #138566
dput
publish-unstable

00:01:32