I was getting both user and devel as digests, and both went quiet.I subscribed to both as digest again, in case I'd been knocked off the list, and still nothing, so I subscribed as non-digest and I'm getting email, enough that it should have kicked out a digest, but still no digest.
Looks like digests are broken, could someone fix please? Seth
