Index of tech-x11 for July, 2018

FromSubject
07/16/2018
Robert Elzcats build failing on HEAD
07/20/2018
Echedey =?ISO-8859-1?Q?L=F3pez?= RomeroDefault wm on x server
07/21/2018
RhialtoRe: Default wm on x server