Hi, I'm leaving for a longish vacation. Can someone please take care of https://github.com/servo/ipc-channel/pull/95 and https://github.com/servo/ipc-channel/pull/90 before they bitrot? Thanks.
-antrik- _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
