Yes that is a mirror repository but unfortunately it is not accepting contributions.
Changing the repository will not make any difference.
Hard luck!
However I do feel that you will keep suggesting excellent features such as these in your future contributions.
Have a nice day!
You are viewing a single comment's thread from: