[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#31774] [PATCH 07/22] gnu: Add java-qdox.

From: Danny Milosavljevic
Subject: [bug#31774] [PATCH 07/22] gnu: Add java-qdox.
Date: Sun, 10 Jun 2018 17:19:00 +0200

> +              ;; FIXME: The release at maven is pre-generated. The release at
> +              ;; github requires jflex.

That's fine.  I'd say "Note" instead of "FIXME" then.  There are other packages
where we use a specific server for similar reasons, and it's not bad.


Attachment: pgpOQ4umxaK8Q.pgp
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]