fix: search correct doc type/states, switch rfc correctly in html_body, remove dead code. - #6640

Merged

rjsparks merged 2 commits into

ietf-tools:feat/rfcfrom

rjsparks:still_more_state_type_fixes

Nov 16, 2023

Commits on Nov 14, 2023

fix: search correct doc type/states, switch rfc correctly in html_body, remove dead code
rjsparks
committed
5a1f30e

Commits on Nov 15, 2023

chore: Add unreachable() marker
jennifer-richards
committed
05e5903