職場のメールサーバは従来外部サーバーを利用していたのだけど、諸般の事情によりホスティング先のサーバーに移行した。業務上必要ないくつかのメーリングリストを移行するために、mailmanの設定を行っていたのだけど、件名に連番を振ろうとして悪戦苦闘の始…