On Mon, 11 Feb 2019 16:17:15 -0300, "Elias M. Mariani" <marianiel...@gmail.com> wrote:
> Bumping this. > I really need it to update devel/spyder. I don't think it's really clean but in the absence of a better solution ok danj@
On Mon, 11 Feb 2019 16:17:15 -0300, "Elias M. Mariani" <marianiel...@gmail.com> wrote:
> Bumping this. > I really need it to update devel/spyder. I don't think it's really clean but in the absence of a better solution ok danj@