Merge 17.05.1 into 17.05.x
[deb_dpdk.git] / debian / source / options
1 extend-diff-ignore = '(^|/)(\.gitreview|\.git)$'