Problem with Handin Directories

There was a problem in setting up handin directories (we didn’t give you correct file permissions).

This is being fixed. Stay tuned for an update.

It now seems that this problem has been fixed. Please let us know if there is still a problem.