This repository was archived by the owner on Apr 1, 2025. It is now read-only.
This repository was archived by the owner on Apr 1, 2025. It is now read-only.
URLs are case folded #19
Description
URLs today get case folded. As a result, any server which is case sensitive with regards to its URLs will fail when using the "open URL" feature from the monitor window, plus similar slightly incorrect details.