heinlein:
> On Sun, 25 Oct 2009, Ian Lynagh wrote:
>
>> On Mon, Oct 19, 2009 at 01:35:33PM -0700, Paul Heinlein wrote:
>>>
>>> In the meantime, /srv on monk is getting quite crowded. I deleted a
>>> ton of old web logs before I brought monk into multi-user mode --
>>> reducing disk usage on /sr
On Mon, Oct 19, 2009 at 01:35:33PM -0700, Paul Heinlein wrote:
>
> In the meantime, /srv on monk is getting quite crowded. I deleted a ton
> of old web logs before I brought monk into multi-user mode -- reducing
> disk usage on /srv from 95% to 85% -- but it's definitely time for some
> housekee
heinl...@galois.com]
| Sent: 19 October 2009 21:36
| To: Simon Peyton-Jones
| Cc: Don Stewart; BuildBot Collator; Andy Moran; aw...@galois.com;
ig...@earth.li;
| Dougal Stanton
| Subject: Re: Hackage and GHC
|
| On Mon, 19 Oct 2009, Paul Heinlein wrote:
|
| >> | I don't have many de
