posted: 2023-09-30
last_edited: 2023-10-01
yuuki76からkrisfailに変更したので報告。 一応変更に係る問題は発生しないはずだが…。
yuuki76
krisfail