Processed: Bug#934714 marked as pending in yojson

To: Julien Puydt <noreply@salsa.debian.org>
Cc: wnpp@debian.org
Subject: Processed: Bug#934714 marked as pending in yojson
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 12 Aug 2022 10:45:04 +0000
Message-id: <[🔎] handler.s.U934714.166030101114297.transcript@bugs.debian.org>
References: <62f62ecfc67f4_40ffb4617@godard.mail> <94e88602-a7b4-8710-38c0-a41db4a03755@debian.org>

Processing control commands:

> tag -1 pending
Bug #934714 [wnpp] RFA: yojson -- JSON library for OCaml
Added tag(s) pending.

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

Reply to:

Prev by Date: Bug#1014969: marked as done (ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals)
Next by Date: Bug#934714: marked as done (RFA: yojson -- JSON library for OCaml)
Previous by thread: Bug#1014969: marked as done (ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals)
Next by thread: Bug#934714: marked as done (RFA: yojson -- JSON library for OCaml)
Index(es):
- Date
- Thread