On 02.06.13 01:25, David Holland wrote:
My inclination is to close the PR and hope the problem's gone away if nobody else complains. That ok?
Absolutely! Please close this PR. -- Jörn Clausen joern.clausen%uni-bielefeld.de@localhost Hochschulrechenzentrum http://www.uni-bielefeld.de/hrz/ Universität Bielefeld