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