Skip to content

Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)

Marco Cattaneo requested to merge cherry-pick-39ed4e39 into stripping24-patches

See merge request !788 (merged)

(cherry picked from commit 39ed4e39)

Merge request reports