DocBlame linter bug?

Stream: mathlib4

[Etienne Marion]

In #26274 the docBlame linter reports a missing documentation docstring on a definition. Here is what the definition looks like:

variable (𝕜 E) in
/- The type of continuous bilinear forms. -/
abbrev _root_.ContinuousBilinForm := E →L[𝕜] E →L[𝕜] 𝕜

Am I right in guessing that the variable command is causing a bug?

[Bryan Gin-ge Chen]

Shouldn’t that start with /— and not /-? I left a suggestion.

[Etienne Marion]

Ah obviously :face_palm: thank you and sorry for the disturbance