Merge branch 'stable'
[gnulib.git] / debian / compat
1 7