Gentoo Archives: gentoo-dev

From: Ralph Seichter <gentoo@××××××××.de>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] Re: Add commit to pull request
Date: Sun, 21 Jun 2020 21:16:15
Message-Id: 87366oyvaf.fsf@wedjat.horus-it.com
In Reply to: [gentoo-dev] Re: Add commit to pull request by "Toralf Förster"
1 * Toralf Förster:
2
3 > On 6/21/20 6:48 PM, Samuel Bernardo wrote:
4 >
5 >> Is it possible to add the commit to that pull request or I need to
6 >> open a new pull request?
7 >
8 > yes
9
10 Answering a colloquial "A or B" as a logical disjunction "A ∨ B"...
11 Now that's just teasing. :-)
12
13 -Ralph