20 Nov
2022
20 Nov
'22
8:08 p.m.
Since I haven't seen it mentioned here: According to various sources,
Fred Brooks passed away on 17th November - see
https://en.wikipedia.org/wiki/Fred_Brooks
--
Peter Jeremy