Refresh patches
authorStephane Glondu <steph@glondu.net>
Fri, 24 Jul 2020 14:17:11 +0000 (16:17 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 24 Jul 2020 14:17:11 +0000 (16:17 +0200)
commit1de5369128cdb03558bf92230c6d18a523d3dc7e
tree56e05931bc18fd95bdfde182315c20aebee3755e
parent8a6c43ede856dcef29de3efd294f58666d686b4a
Refresh patches
debian/patches/0006-read_main_debug_info-do-not-die-in-custom-executable.patch