espie 2dda4958c0 forgotten piece of the "no-strip" commit, noticed by aja@
this is actually less tricky: just use the built dwz
2020-05-21 12:38:46 +00:00
..
2020-03-27 13:45:25 +00:00