[dev-servo] Is bors asleep?

[Gilles Leblanc]

In the build queue there are 5 approved but there doesn't to be any one of
those which are actually building right now or that have received any
ping-back comments from bors in the GitHub pull requests.
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo