Add the plugin version to the analysis error messages#917

Merged

gtoison merged 1 commit intospotbugs:masterfrom gtoison:add-plugin-version-to-analysis-errors

Jan 6, 2024

+2

Commits on Jan 5, 2024

fix: Many users don't know the version, add it to the message
gtoison
committed