> When does bindgen get called? Do I run it myself or is there an > orchestrating script or something?
It's done manually and you need to do it once on every platform we support. It's not very fun. jack. _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
