fix issue #17 - duplicate header count more than 2 causes exception#18

Merged

robaho merged 2 commits intorobaho:mainfrom

Jan 30, 2025

Commits on Jan 30, 2025

Fix a bug if multiple headers have the same name
Pierre Viret
committed
make slightly more efficient to avoid array allocation (most likely). change instanceof cases to use pattern matching for consistency
robaho
committed