From 04f114a76cc9e85ea844e0f32cbbaa7c03e858fa Mon Sep 17 00:00:00 2001
From: Anatolii <anatoliykmetyuk@gmail.com>
Date: Sat, 8 Jun 2019 17:53:21 +0200
Subject: [PATCH] Release Dotty 0.16.0-RC1