Dan 70cd0500de Merge branch 'master' into new-api		2018-04-12 11:31:53 +02:00
..
api	Merge branch 'master' into new-api	2018-04-11 03:20:19 +02:00
client	Update Docs	2018-04-11 23:18:17 +02:00
connection	Use port 443 for production servers	2018-04-11 23:37:59 +02:00
crypto	Revert "Remove old code and use a better error message"	2018-04-02 10:02:30 +02:00
session	Wait a little bit before retrying	2018-04-12 10:41:52 +02:00
__init__.py	Document the new features	2018-04-11 03:16:48 +02:00