Skip to content
Snippets Groups Projects

Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)

Merged Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)
cherry-pick-778c05de into 2017-patches
Merged Marco Cattaneo requested to merge cherry-pick-778c05de into 2017-patches
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
3