|
| From: | Vincent Belaïche |
| Subject: | SES case insensitive ses-jump git-pushed |
| Date: | Mon, 4 Apr 2022 17:49:48 +0000 |
|
Dear Andrés,
I have pushed the changes to the git repo.
They will be available when a new release is made or if you build from source.
Thank you very much for the suggestion and collaboration.
Vincent.
|
| [Prev in Thread] | Current Thread | [Next in Thread] |