Skip to content

Make topic headers case-insensitive#1106

Merged
gnprice merged 1 commit intozulip:mainfrom shivanshsharma13:case-insensitive_headerJan 2, 2025

Commits

Commits on Jan 2, 2025