I don't recall seeing his name, but half the names came out in fully automatic fire mode so I can't be sure.
I know they typically have those made and edited well in advance (why there was no Jessica Walter), but Kirk Douglas was before Plummer and Holbrook so he should've been included.