Pull request is fine. I think there was a discussion about this before.
Not sure why I didn't implement. My stance at that point was probably
different.
--
Mladen Mijatov
Key ID: 4096R/83EFD5A0 2013-08-18
Tox ID:
B82DADBC7614F887F2ACB7A4F29E848D937452113C9EBBA39DCB3E260096945A934361722B51