Skip to content
release-5-2-0
6335c539 · Avoid color changes in MS Windows GUI terminal (bug #57658). ·