#11584: make decode_header handle Header objects correctly
This updates b21fdfa0019c, which fixed this bug incorrectly.
R
R David Murray committed
6bdb1769dcd1a95a7f6fa7d98d05e835be931466
Parent: c88bce1
This updates b21fdfa0019c, which fixed this bug incorrectly.