Open HowardCohl opened 8 years ago
The issues relevant to texer should be moved maybe this tool https://github-issue-mover.appspot.com/ could do the job.
@physikerwelt @ClaudeZou @notjagan
Claude, can you insert here a list of all issues which need to be moved and create corresponding issues on the texer repo?
The issues relevant to texer should be moved maybe this tool https://github-issue-mover.appspot.com/ could do the job.
@physikerwelt @ClaudeZou @notjagan