Summary of changes: 79965ef... Fix optimization bug which can lead to uncaught throw (SEH (*) 0a575c6... Dropped dependency on PPL (#951914) (*) (*) This commit already existed in another branch; no separate mail sent