> Using a July 3 checkout, make release fails with file system full -- is it > just me?
Kind of. Things like this will happen, and then they will be fixed. Then they will happen again. That's just the process. Noone really needs to alert us, since we have to cope with this on our own already.