Релиз Metals с Best Effort компиляцией (микро выпуск).

Вадим, Юра и Женя обсуждали Best effort компиляцию в новом Metals.

Что обсуждалось:

• [00:00] Релиз Metals v1.3.5