No matches were found for subject:"Bug#694015\: \[Pkg\-electronics\-devel\] Bug#694015\: geda\: copyright file missing after upgrade \(policy 12.5\)"