I can go back to the post, but it’s hard to find my comment when there are many. And having my name not be highlighted makes it even harder.
I can go back to the post, but it’s hard to find my comment when there are many. And having my name not be highlighted makes it even harder.
Looks like this is fixed for the next version: https://github.com/dessalines/jerboa/pull/634