Should the How to Use pools page be updated with an option that uses 'pool' instead of 'server'?

Client Configuration and Development
2

That discussion has been ongoing for a while, indeed. There’s a PR on GitHub which followed from another dicussion. Unfortunately, @ask hasn’t had the time, yet, to merge it.

Bit it cannot hurt nudging him again… :sunglasses:

2 Likes