Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It's not actually a change in anything we deliver.
- Loading branch information
It's not actually a change in anything we deliver.
a11c05d
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
After some thoughts I've decided to mention it just to highlight existence of this tool. But no strong opinion, hence I'm fine with it
a11c05d
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@oleg-nenashev As I mentioned elsewhere, it's straightforward to find for anyone interested in translating, and for others, it doesn't matter.