Cheers, Josh _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
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.
- [dev-servo] Let's merge core-foundation-rs, core-text-rs, a... Josh Matthews
- Re: [dev-servo] Let's merge core-foundation-rs, core-t... Jack Moffitt
- Re: [dev-servo] Let's merge core-foundation-rs, co... Anthony Ramine
- Re: [dev-servo] Let's merge core-foundation-rs, core-t... Josh Matthews
- Re: [dev-servo] Let's merge core-foundation-rs, co... Patrick Walton
- Re: [dev-servo] Let's merge core-foundation-rs, co... Jack Moffitt