Comment # 5 on bug 922017 from Hans-Peter Jansen

Now, that this problem is sorted out, a distribution roll out would be in
order..