Uwe, AFAICS there is no packaging changes needed. I've attached a debdiff if that can be of help.
openocd-0.4.0-1.debdiff
Description: Binary data
Uwe, AFAICS there is no packaging changes needed. I've attached a debdiff if that can be of help.
openocd-0.4.0-1.debdiff
Description: Binary data