Bug Database の RSS

便利だったんで1ヶ月前くらいから購読していたんだけど

http://bugs.mysql.com/rss.php

どうやらRSSを自動生成するプログラムの調子が悪い・意図的に停止しているのか分からないけれども数日前からまったく機能していない．

Bug ID一桁から二桁くらいのの昔のが送られてきて，しかもそれ以降更新なし．どーなっているのやら．