WAMP: enhance user feedback for IDE connection/certificate problems

15 months ago, Edouard Tisserant