Erik Johnston 5a7f561a9b Fix bug where pusherpool didn't start and broke some rooms ... Since we didn't instansiate the PusherPool at start time it could fail at run time, which it did for some users. This may or may not fix things for those users, but it should happen at start time and stop the server from starting.		2017-07-06 17:55:51 +01:00
..
client	Fix bug where pusherpool didn't start and broke some rooms	2017-07-06 17:55:51 +01:00
key	Fix code for reporting old verify keys in synapse	2017-04-24 18:51:25 +01:00
media	Store URL cache preview downloads seperately	2017-06-23 11:14:11 +01:00
__init__.py	Add REST API	2017-05-31 14:11:55 +01:00