Refresh patches.
Debian Janitor
1 year, 4 months ago
2 | 2 | Bug-Debian: https://bugs.debian.org/825052 |
3 | 3 | Forwarded: no |
4 | 4 | |
5 | Index: abi-dumper/abi-dumper.pl | |
5 | Index: abi-dumper.git/abi-dumper.pl | |
6 | 6 | =================================================================== |
7 | --- abi-dumper.orig/abi-dumper.pl | |
8 | +++ abi-dumper/abi-dumper.pl | |
7 | --- abi-dumper.git.orig/abi-dumper.pl | |
8 | +++ abi-dumper.git/abi-dumper.pl | |
9 | 9 | @@ -251,7 +251,7 @@ GENERAL OPTIONS: |
10 | 10 | |
11 | 11 | -public-headers PATH |