From debbugs-submit-bounces@debbugs.gnu.org Fri Apr 08 11:10:12 2022 Received: (at 54596-done) by debbugs.gnu.org; 8 Apr 2022 15:10:12 +0000 Received: from localhost ([127.0.0.1]:35572 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncqFY-0006lA-Cu for submit@debbugs.gnu.org; Fri, 08 Apr 2022 11:10:12 -0400 Received: from mout02.posteo.de ([185.67.36.66]:36965) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncqFW-0006kv-76 for 54596-done@debbugs.gnu.org; Fri, 08 Apr 2022 11:10:11 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 09E97240108 for <54596-done@debbugs.gnu.org>; Fri, 8 Apr 2022 17:10:03 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1649430604; bh=EagFwBXCRpQWdV/vLmOJ2X54OiM2buqvFKu60OTcbJY=; h=From:To:Cc:Subject:Date:From; b=dW40A/qa+NHBhXKuZ3RqCL72uLLbhFCm/ooQlERKknDc/mF5fUmXr+mbxcat5/CAT uTGfq45ay7GKA8vrid2IdA4tyLarpm/CUhHmWcvlbveLijK71TOY83ya8KNjvzAUEU wn4joLXZIqLtKcq8omvRx7QMNJbWgHNaWbcJeS43o85K6cImOklLC0wHeeLTk4fq7E P7aGdofxEf+En+sAjRlROM5KMz8Hj4RPvRKvImzm3JMhyZu5ldatGeNTAvgNeMMYrf TLWyAco8joObCCP4RKHpnWiU/MvJQLze2oQnttBzA3xvthphJfK98tdqRAvOQP9i4h fFED9FugHX3BQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4KZhWH0nJZz6tmv; Fri, 8 Apr 2022 17:10:02 +0200 (CEST) References: <20220327133937.15444-1-pukkamustard@posteo.net> <86zgkvzpq8.fsf@gmail.com> From: pukkamustard To: zimoun Subject: Re: bug#54596: [PATCH 0/1] Fix ocaml-odoc by updating to 2.2.0-alpha Date: Fri, 08 Apr 2022 13:52:47 +0000 In-reply-to: <86zgkvzpq8.fsf@gmail.com> Message-ID: <86wnfz4nna.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 54596-done Cc: 54596-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: -3.3 (---) Hi, zimoun writes: > I propose to include this patch in the series #53882 and close this > submission. WDYT? Ok for me. Closing this issue. Cheers, pukkamustard