Dan 346d3da175 Add more info in case of an error		2018-04-12 14:11:01 +02:00
..
api	Merge branch 'master' into new-api	2018-04-11 03:20:19 +02:00
client	Add more info in case of an error	2018-04-12 14:11:01 +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