| From: John Clements (clements at brinckerhoff.org) Date: Wed Mar 5 15:11:03 EST 2014 |
|
On Feb 27, 2014, at 7:10 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote: > Are you running the handin server in something like v6.0, or something > like v5.3.6? I *was* running 5.3.6. I’ve upgraded to 6.0 on the handin server, and I can confirm that this solves the problem. Thanks! John
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}