Thanks! I merged that with a few stylistic updates, like avoiding the "if [...]; then : else" syntax.
« Back to merge proposal
Thanks! I merged that with a few stylistic updates, like avoiding the "if [...]; then : else" syntax.