Skip to content

Fixes display issues with the tooltip on agent mentions#1904

Merged
philipperolet merged 1 commit intomainfrom tooltip-mention-betterSep 29, 2023

Commits