SIGN IN SIGN UP

merge #11584: make Header and make_header handle binary unknown-8bit input

R
R David Murray committed
e76ff4081aeabf2da9b04c70f031e34e53933110