search

rfc-editor / rpcwebsite

Code base for RPC website
Other
4 stars 2 forks source link

Update format_html_header.php #37

Closed alicerusso closed 1 year ago

alicerusso commented 1 year ago

as mentioned in https://github.com/ietf-tools/datatracker/issues/4900