From 81ea0542be2d75486b26ddfc890145c3756936e6 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Tue, 12 Nov 2019 10:48:13 +0100
Subject: [PATCH] stage0: download 1.39.0 from static

---
 src/stage0.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/stage0.txt b/src/stage0.txt
index 66f7e377b796b..34fbc4eacd6e4 100644
--- a/src/stage0.txt
+++ b/src/stage0.txt
@@ -12,7 +12,7 @@
 # source tarball for a stable release you'll likely see `1.x.0` for rustc and
 # `0.x.0` for Cargo where they were released on `date`.
 
-date: 2019-11-04
+date: 2019-11-07
 rustc: 1.39.0
 cargo: 0.40.0
 
@@ -34,4 +34,4 @@ cargo: 0.40.0
 # looking at a beta source tarball and it's uncommented we'll shortly comment it
 # out.
 
-dev: 1
+#dev: 1