Skip to content

Prevent Tactics hover provider from blocking at startup#2306

Merged
pepeiborra merged 1 commit intomasterfrom fix-tactics-hoverOct 31, 2021

Commits

Commits on Oct 31, 2021