3 ms·
>Can you link the PR? I am interested in getting it merged. Sadly no. I had to delete my old github account due to IRL harresment. I can resubmit later tomorro
by valarauca1 10y ago
>Can you link the PR? I am interested in getting it merged.
Sadly no. I had to delete my old github account due to IRL harresment. I can resubmit later tomorrow.
- sanxiyn 10y agoThanks a lot. Please cc me when you resubmit, I'm sanxiyn (same ID) on GitHub.