Re: [dev-servo] github.com/mozilla-servo renamed to servo

[Jack Moffitt]

> Are we going to move mozilla/servo to servo/servo?

That was the idea unless someone objects.

jack.
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo