SIGN IN SIGN UP

merge #11584: make decode_header handle Header objects correctly

This updates 12e39cd7a0e4 (merge of b21fdfa0019c), which fixed this bug
incorrectly.
R
R David Murray committed
7df08379c65b623df96a534fdacd7302c6a24476