Allow redundant sequence header

12 jobs from master in 4 minutes and 39 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #243016
debian amd64
build-debian

00:00:34

passed #243020
debian aarch64
build-debian-aarch64

00:01:29

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

00:01:04

passed #243017
debian amd64
build-debian-static

00:00:31

passed #243023
debian aarch64
build-debian-werror

00:00:33

passed #243022
macos
build-macos

00:00:26

passed #243018
win32
build-win32

00:00:28

passed #243019
win64
build-win64

00:00:35

 
  Test
passed #243024
debian amd64
test-debian

00:00:42

passed #243025
debian amd64
test-debian-asan

00:02:04

passed #243026
debian amd64
test-debian-msan

00:00:56

passed #243027
debian amd64
test-debian-ubsan

00:01:19