[Lima-commits] annotated tag lima-0.8.5 created (now 3f15455)