Processed: Bug#1056948 marked as pending in coq-doc

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1056948 marked as pending in coq-doc
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 27 Nov 2023 05:51:03 +0000
Message-id: <[🔎] handler.s.U1056948.1701064175243742.transcript@bugs.debian.org>
References: <65642dea448c6_521fc839914@godard.mail> <[🔎] 91a660b2-752b-4d39-ae3a-f37adeb50382@gmail.com>

Processing control commands:

> tag -1 pending
Bug #1056948 [coq-doc-html] coq-doc-html loads files from a CDN
Added tag(s) pending.

-- 
1056948: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056948
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1056948: coq-doc-html loads files from a CDN
  - From: Evgeny Kapun <abacabadabacaba@gmail.com>

Prev by Date: Bug#1056948: coq-doc-html loads files from a CDN
Next by Date: [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1
Previous by thread: Bug#1056948: coq-doc-html loads files from a CDN
Next by thread: [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.2.2-1
Index(es):
- Date
- Thread