Since you have the expertise, can you submit a pull request to fix it? There may not be anyone else in Julia development who could.
2 Likes
Since you have the expertise, can you submit a pull request to fix it? There may not be anyone else in Julia development who could.