Sounds good to me!
On Sun, Dec 3, 2017 at 12:21 AM Ning Wang wrote:
> +1. I think your idea of moving them into a different directory makes sense
> in case some people need it.
>
> On Sat, Dec 2, 2017 at 11:44 PM, Sanjeev Kulkarni
> wrote:
>
> > +1
>
+1. I think your idea of moving them into a different directory makes sense
in case some people need it.
On Sat, Dec 2, 2017 at 11:44 PM, Sanjeev Kulkarni
wrote:
> +1
>
> On Sat, Dec 2, 2017 at 10:57 PM Ali Ahmed wrote:
>
> > I support deprecating it