On 4/12/17 2:32 AM, Paul Rouget wrote:
- Prerendering: we will want to prerender documents. A special kind of pipeline with black-listed functionalities.
I suspect that at least for a web browser this is a huge amount of pain. Note that Chrome is giving up and removing their implementation, last I checked.
-Boris _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
