Warnings log: missing annotations badly concatenated

In the warnings log the list of missing annotations is concatenated without any spacing or separators, see screenshot.

created branch 426-warnings-log-missing-annotations-badly-concatenated

mentioned in merge request !321 (merged)

closed via merge request !321 (merged)

mentioned in commit d6e91a06