0632名無しさん@お腹いっぱい。垢版 | 大砲2023/01/19(木) 11:00:31.53 ctanでOberdiek Package Support Groupというコミュニティがあるのを知ったけど、 Heiko Oberdiekさんはお亡くなりになっているの?