Electrum manual server adding

[EdwardMorra]

There is a temporary issue with electrum wallet's server list.
Here's the quick and dirty fix:
Add the following IP to the wallet:
188.166.223.93

Here's some pictures on how to do it:
Open the settings by pressing the (likely red) circle:

Go to the server tab and de-select automatic selection checkbox:

Add the IP, the port remains unchanged:

Now select the newly added server(s):


If you have any questions feel free to ask!