On 27.01.2021 13:00, Johan Corveleyn wrote:
^^ some lines indented with tabs instead of spaces
^^ curly brace should be on next line
^^ The comment above, describing how the JVM crashes, refers to the situation before you actually fixed that :-). Can you rephrase it a bit, so it is still applicable even with the crash now fixed?
^^ same here, the comments describe the behavior before the fix, maybe rephrase it so it's still valid after you fixed it.
Thanks, I fixed everything in r1885955.
