cooljeanius’s Twitter Archive—№ 54,949

Working on a patch to allow @gnutools GCC’s dvi-formatted documentation to be installed: gcc.gnu.org/pipermail/gcc-patches/2021-October/581960.html