On Jun 23, 2017, at 12:00 AM, Adi Roiban <adi@roiban.ro> wrote:For production usage, I think that we should pin everything, so thatwe don't end up with things which might break in the future.