Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)
See merge request !692 (merged)
(cherry picked from commit 778c05de)
a96f66b0 Replace savannah bugs by corresponding JIRA tasks
See merge request !692 (merged)
(cherry picked from commit 778c05de)
a96f66b0 Replace savannah bugs by corresponding JIRA tasks