Closed ks156 closed 9 years ago
Merged. Thanks Paul for this great fix!
Yup, sorry to have made three commits for that ...
Merged. Thanks Paul for this great fix!