<@U10EJRH2L> About your comment on the latest PR: ...
# tornadofx
e
@Ruckus About your comment on the latest PR: Did you mean that the PR is not necessary?