[Lima-commits] 02/05: Merge branch 'release/0.8'