Skip to content

Make Visible History UI more ergonomic and show inherited values#4222

Merged
jleibs merged 14 commits intomainfrom antoine/refreshed-visible-history-uiNov 16, 2023