https://bugs.kde.org/show_bug.cgi?id=372671 --- Comment #3 from Christoph Feck <cfeck at kde.org> --- This commit has all the details of the change: https://github.com/ocaml/ocaml/commit/da56cf6dfdc13c09905c2e07f1d4849c8346eec8 -- You are receiving this mail because: You are the assignee for the bug.