New commits: commit 1352082d468976631a323bc168b018cc17a5ff85 Author: Andrew Cagney <cagney at gnu.org> Date: Thu Feb 20 21:23:16 2020 -0500 web: the linux/ directory is no longer interesting