Skip to content

Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)

See merge request !788 (merged)

(cherry picked from commit 39ed4e39)

Merge request reports