Commit 7dab847f authored by Günther Wagner's avatar Günther Wagner Committed by Christian Hergert

editor: show multiple diagnostics in hover provider

parent 8bbc2dc1
Pipeline #192906 failed with stage
in 60 minutes