掲示板メーリングリストが14日より正常に機能していなかったことが発覚ました。この障害により14-20日付近の投稿記事に関するメーリングリストに欠番が生じています。現在は修正しましたので、今後は正常にメールが配信される予定です。