Merge branch 'Plasma/5.12' into Plasma/5.13

Authored by apol on Jul 2 2018, 3:06 PM.

Description

Merge branch 'Plasma/5.12' into Plasma/5.13

Merged Changes

CommitAuthorDetailsCommitted
d4ed6e5ed987apol
PK: Make sure we resolve the transaction application if it fails 
Jul 2 2018