Cherry-pick "Merge branch 'yampl_update' into 'master'" into 1.0
Update to latest yampl version, remove patch (no longer needed)
See merge request !349 (merged)
(cherry picked from commit 752c3a11)
Update to latest yampl version, remove patch (no longer needed)
See merge request !349 (merged)
(cherry picked from commit 752c3a11)