Skip to content

Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)

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

See merge request !692 (merged)

(cherry picked from commit 778c05de)

a96f66b0 Replace savannah bugs by corresponding JIRA tasks

Merge request reports