servers not updating peers list properly; let us see if this fixes it
[electrum-server.git] / patches /
drwxr-xr-x   ..
-rw-r--r-- 1751 bitcoinrpc.cpp.diff
-rw-r--r-- 1363 bitcoinrpc_connection.py.diff