* Toralf Förster: > On 6/21/20 6:48 PM, Samuel Bernardo wrote: > >> Is it possible to add the commit to that pull request or I need to >> open a new pull request? > > yes
Answering a colloquial "A or B" as a logical disjunction "A ∨ B"... Now that's just teasing. :-) -Ralph
