Merge commit '441aa3044f43e5572f58c354f01e6bc070acd5c7'
[gnulib.git] / debian / compat
1 7