#36374 ‘guix pull’ should not suggest running ‘guix pull’

Received: (at control) by debbugs.gnu.org; 27 Jun 2019 15:21:04 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 27 11:21:04 2019
Received: from localhost ([127.0.0.1]:39263 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1hgWCu-0008M2-H3
	for submit@debbugs.gnu.org; Thu, 27 Jun 2019 11:21:04 -0400
Received: from eggs.gnu.org ([209.51.188.92]:54046)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@gnu.org>) id 1hgWCs-0008Kp-Iu
 for control@debbugs.gnu.org; Thu, 27 Jun 2019 11:21:02 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:52185)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
 id 1hgWCi-0002YX-1Z
 for control@debbugs.gnu.org; Thu, 27 Jun 2019 11:20:55 -0400
Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=45800 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@gnu.org>) id 1hgWCg-0007LP-7z
 for control@debbugs.gnu.org; Thu, 27 Jun 2019 11:20:50 -0400
Date: Thu, 27 Jun 2019 17:20:49 +0200
Message-Id: <87v9wrxdf2.fsf@gnu.org>
To: control@debbugs.gnu.org
From: Ludovic Courtès <ludo@gnu.org>
Subject: control message for bug #36374
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -3.3 (---)