Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 30 Aug 2021 18:33:40 +0000 (20:33 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 30 Aug 2021 18:33:40 +0000 (20:33 +0200)
commitc75c35b176cdacf157d27617e954961c88f33975
tree1bf8ece52bba5ace3fc48bc88e1c987cb2834ca8
parenta0f54605410f6f38abc1b66b03ad5b6f94a09845
parentf012a742a9b342c51e3c6bef22eaab0f39cb9e46
Merge branch 'maint'

Just one cherry-picked commit to make the maint branch compile with
newer glibc.

* maint:
  Avoid warning about sys/sysctl.h on glibc-2.30.