Sebastian, I have made many concrete suggestions to change code. You can use the GitHub button "Commit suggestion" to accept it without having to type it yourself. Of course, in many cases you have to make similar changes yourself in other places in the code.
Sebastian, I have made many concrete suggestions to change code. You can use the GitHub button "Commit suggestion" to accept it without having to type it yourself. Of course, in many cases you have to make similar changes yourself in other places in the code.
Cheers, MS