20 Jan
2016
20 Jan
'16
5:11 p.m.
Hi, On 20 January 2016 at 09:49, Sven Panne <svenpanne@gmail.com> wrote:
2016-01-20 8:35 GMT+01:00 Mikhail Glushenkov <mikhail.glushenkov@gmail.com>:
You're welcome to open a ticket on the hackage-server bug tracker.
I've reported this several times through several channels
Those tickets are about missing docs, not missing checks of manually uploaded docs.