Skip to content

Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)

Marco Cattaneo requested to merge cherry-pick-778c05de into 2017-patches

Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)

See merge request !692 (merged)

(cherry picked from commit 778c05de)

Merge request reports