Considering how intertwined these three crates are (in that there's always a fun dance to update their dependencies when one of them changes), it would be a lot easier if the repositories were merged. We would end up with something much like the html5ever repository, where publishing updates only requires a single pull request and three cargo publish commands.

Cheers,
Josh
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo

Reply via email to