/patch-ldisc.c/1.3/Tue Oct  1 15:22:41 2019//
/patch-timing.c/1.3/Tue Oct  1 15:22:41 2019//
/patch-terminal.c/1.6/Wed Feb 15 01:00:58 2023//
D