From debbugs-submit-bounces@debbugs.gnu.org Tue May 05 10:16:32 2020 Received: (at 40955-done) by debbugs.gnu.org; 5 May 2020 14:16:32 +0000 Received: from localhost ([127.0.0.1]:36972 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jVyN6-0008Iq-CS for submit@debbugs.gnu.org; Tue, 05 May 2020 10:16:32 -0400 Received: from mail-wm1-f66.google.com ([209.85.128.66]:36920) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jVyN4-0008Ie-Om for 40955-done@debbugs.gnu.org; Tue, 05 May 2020 10:16:31 -0400 Received: by mail-wm1-f66.google.com with SMTP id z6so2543389wml.2 for <40955-done@debbugs.gnu.org>; Tue, 05 May 2020 07:16:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=Ozn0cG57AMgOgDm2CLVBNSFjMMNMQ/4Y3ovpf2Ckjw8=; b=WoT0jFM2ZO/GYraTzfWnJ1aUGO58TtPNLsJMPStycnhWwDsX7oIAXgekI7Tj7Ly1gv vSLbPq5X0/W3o/lMATpbVopp/ZqwOaLp+JcMp16iBXx52bJebQuUUQ57d8wv7+9QAqO8 SrhNQ8kdyUDOulaem1ts69XZtKnPaN+XXYqt8Lfj1/PJkwU4oWk6HVGVu4fdrk4EZdBY RfdN2IBFKI954IEAnHNH3LWvVgftKuIg5smNHS15Jr6dGLuMomADlsjhLnxY82nDYqyu zKqzt8EAZV5Zp/Wxnu7uRnJyxNGq+KA/LNzxLbqFkALa8oSJgwkCtJ+1ujIQVu+C4F3W xSsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=Ozn0cG57AMgOgDm2CLVBNSFjMMNMQ/4Y3ovpf2Ckjw8=; b=pM54AipNp51kSQbhdACH6RgTuu4UMdJ6QxSpK2XDwPzZF45dFnwAwkWAgS4cW3Mn2x 4d7O/UivSHzgjEbeNx8UYr6+jgV+d29ivUANoy9lvZb9VMl0BZDWsuHSwW4My50cHHZF BCshmKXIFondpIhdbGub71i7FAcEt+OlCVE2PfSj1bovZs9VVXmS1rqS8heASUj5dyDx 8dOmWYKxtHpjSrDUr65Pd6nXrDcoJ15DkXZGUd+nxLKYxzf/sveXeG1iXximPGok8fkb CSRkbCcaAAb00EAs9LYUx3+1bW6kmvbgmZfD/RBRw/w/zqaOpc9jJGgm30ANo6J5aNuu 9zSA== X-Gm-Message-State: AGi0PuYaMpTZFBWccZrBYJsD2zFu+NG4ZttpMs6hqTtSdZ2TGtgIJoTe ZMkUb54GXvYIMe02apXD7KP+HkL96Uc= X-Google-Smtp-Source: APiQypKbf5dLYw4XR+DK5JcOw9PaQfw/Ema97ODPZU7tyG8PjEQLZuikVn2oNSApgFZHedQVlOdx9w== X-Received: by 2002:a7b:ce09:: with SMTP id m9mr3636737wmc.156.1588688182092; Tue, 05 May 2020 07:16:22 -0700 (PDT) Received: from meru ([2a01:cb18:832e:5f00:7097:5e4f:8b60:ade7]) by smtp.gmail.com with ESMTPSA id o18sm3406445wrp.23.2020.05.05.07.16.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 05 May 2020 07:16:21 -0700 (PDT) From: Mathieu Othacehe To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#40955] [PATCH 5/5] vm: Remove obsolete procedures. References: <20200429084756.25072-1-m.othacehe@gmail.com> <20200429084756.25072-5-m.othacehe@gmail.com> <87r1w28po1.fsf@gnu.org> Date: Tue, 05 May 2020 16:16:20 +0200 In-Reply-To: <87r1w28po1.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Sat, 02 May 2020 14:52:30 +0200") Message-ID: <87d07icvrf.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 40955-done Cc: 40955-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) I pushed this serie to master. Thanks, Mathieu