Thanks guys for your prompt actions. I am so impressed！
Lin
On Tue, Nov 13, 2018 at 5:33 PM Sheng Zha wrote:
> I was in the middle of transferring all items labeled with "Feature" to the
> "Feature request" label when "Feature" label was deleted. I'm not sure who
> deleted the "Feature" label
I was in the middle of transferring all items labeled with "Feature" to the
"Feature request" label when "Feature" label was deleted. I'm not sure who
deleted the "Feature" label but it's gone now.
-sz
On Tue, Nov 13, 2018 at 5:05 PM Anirudh Acharya
wrote:
> This issue was raised before here -
Thanks for doing this.
-
Anirudh
On Nov 13, 2018 5:25 PM, Sheng Zha wrote:
Oh, I see. I was moving the other 80 or so, so it was probably a
race-condition.
Anyway, thanks for being eager to help.
-sz
On Tue, Nov 13, 2018 at 5:24 PM Naveen Swamy wrote:
> done now, removed the feature label,
Oh, I see. I was moving the other 80 or so, so it was probably a
race-condition.
Anyway, thanks for being eager to help.
-sz
On Tue, Nov 13, 2018 at 5:24 PM Naveen Swamy wrote:
> done now, removed the feature label, there were 4 issues with that label
> but also had Feature Request.
>
> On
done now, removed the feature label, there were 4 issues with that label
but also had Feature Request.
On Tue, Nov 13, 2018 at 5:05 PM Anirudh Acharya
wrote:
> This issue was raised before here -
>
>
there were a few more that had 'Feature' as label but didn't show up in the
filter search, I manually applied the `Feature Request` on them
On Tue, Nov 13, 2018 at 5:12 PM Naveen Swamy wrote:
> done now, removed the feature label, there were 4 issues with that label
> but also had Feature
This issue was raised before here -
https://lists.apache.org/thread.html/3e988e6bd82cb2d69ba20c21bf763952ed22a5732e61f6fba1f89ac8@%3Cdev.mxnet.apache.org%3E
We need someone with committer privileges to fix it.
Thanks
Anirudh
On Tue, Nov 13, 2018 at 4:36 PM Lin Yuan wrote:
> Dear Community,
