From 8af3d9fa73ae8a6cf77290e81ace586ef53e2ba1 Mon Sep 17 00:00:00 2001 From: Pavel Krymets Date: Thu, 21 Dec 2017 10:28:47 -0800 Subject: [PATCH] Push depends on build --- build/repo.targets | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/repo.targets b/build/repo.targets index d835bcc4d0..237a515996 100644 --- a/build/repo.targets +++ b/build/repo.targets @@ -74,7 +74,7 @@ - +