Joey Hess 47c032a748 run xmpp push actions in separate thread from xmpp client ... Took me a while to figure out why the xmpp client was not receiving git xmpp push messages after a push started.		2012-11-09 16:04:55 -04:00
..
Buddies.hs	finished XMPP pairing!	2012-11-05 17:43:17 -04:00
Client.hs	rename xmpp creds file	2012-11-03 18:58:37 -04:00
Git.hs	run xmpp push actions in separate thread from xmpp client	2012-11-09 16:04:55 -04:00