Skip to content

Make {MessageList,EmojiReaction}Theme.{light,dark} static final fields#1276

Merged
gnprice merged 2 commits intozulip:mainfrom chrisbobbe:pr-theme-extension-final-fieldsJan 23, 2025

Commits

Commits on Jan 23, 2025