From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-970550-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
(No client certificate requested)
by finch.gentoo.org (Postfix) with ESMTPS id 8397F1396D0
for <garchives@archives.gentoo.org>; Sat, 2 Sep 2017 17:56:37 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id C52991FC07A;
Sat, 2 Sep 2017 17:56:36 +0000 (UTC)
Received: from smtp.gentoo.org (woodpecker.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4])
(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
(No client certificate requested)
by pigeon.gentoo.org (Postfix) with ESMTPS id A591A1FC07A
for <gentoo-commits@lists.gentoo.org>; Sat, 2 Sep 2017 17:56:36 +0000 (UTC)
Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84])
(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id 7063433BE95
for <gentoo-commits@lists.gentoo.org>; Sat, 2 Sep 2017 17:56:35 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 137158B9D
for <gentoo-commits@lists.gentoo.org>; Sat, 2 Sep 2017 17:56:34 +0000 (UTC)
From: "Ulrich Müller" <ulm@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Content-Transfer-Encoding: 8bit
Content-type: text/plain; charset=UTF-8
Reply-To: gentoo-dev@lists.gentoo.org, "Ulrich Müller" <ulm@gentoo.org>
Message-ID: <1504108281.afd6eb1938cb5a9b53d8f0965c5cd8bb10515273.ulm@gentoo>
Subject: [gentoo-commits] proj/pms:master commit in: /
X-VCS-Repository: proj/pms
X-VCS-Files: dependencies.tex
X-VCS-Directories: /
X-VCS-Committer: ulm
X-VCS-Committer-Name: Ulrich Müller
X-VCS-Revision: afd6eb1938cb5a9b53d8f0965c5cd8bb10515273
X-VCS-Branch: master
Date: Sat, 2 Sep 2017 17:56:34 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Archives-Salt: d0cd83c2-996f-4cba-b74b-b7e359b09709
X-Archives-Hash: c5d3ef2cab7e538292374a933ad75aa2
commit: afd6eb1938cb5a9b53d8f0965c5cd8bb10515273
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Wed Aug 30 15:51:21 2017 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Wed Aug 30 15:51:21 2017 +0000
URL: https://gitweb.gentoo.org/proj/pms.git/commit/?id=afd6eb19
Delete redundant sentence in at-most-one-of dependency.
An empty group will automatically fulfill the condition of "at most
one immediate child element", therefore no special provision for an
empty group is necessary here.
dependencies.tex | 2 --
1 file changed, 2 deletions(-)
diff --git a/dependencies.tex b/dependencies.tex
index d9a6f1a..21eeba5 100644
--- a/dependencies.tex
+++ b/dependencies.tex
@@ -158,8 +158,6 @@ at-most-one-of group for match purposes.
In an at-most-one-of group, at most one immediate child element must be matched.
-An empty at-most-one-of group counts as being matched.
-
\subsection{Package dependency specifications}
A package dependency can be in one of the following base formats. A package manager must warn or