RELEASED: Public: 2019-05-22 New features None Resolved issues Minor bug and stability fix Known issues None