pjcj/Devel--Cover — comment on commit 1716d034743015f30de4ddc25d6525f5cc0d7955
File:  line 0
By pjcj:

Quite right. Fixed (hopefully) by c6f17100a25e9071cd6566c6f810efec73453fe6, but not tested.

Thanks.