plt/handin — pull request #14 by elibarzilay (2014-10-20 10:29:50+00:00)
Title: Use `ssl-load-default-verify-sources!' in the client.

This is needed when we use a signed certificate.

At least it looks like this should work fine, I'll know more in a few days when my students use it for submission.