Yes, I meant Pull Request when I said PR. Thank you for the information and
for incorporating the suggested update!
On Mon, Jul 27, 2020 at 4:18 PM Bernhard Voelker
wrote:
> [sorry, this one hung in my outbox ... not sure if this helps though]
>
> On 2020-07-25 17:07, Wes Novack wrote:
> > For
[sorry, this one hung in my outbox ... not sure if this helps though]
On 2020-07-25 17:07, Wes Novack wrote:
> For future reference, what is the PR process?
Not exactly sure what you mean with "PR".
If you refer to the process of reporting bugs, making suggestions, sending
patches, etc., then
On 7/25/20 8:07 AM, Wes Novack wrote:
Thank you! For future reference, what is the PR process?
See:
https://debbugs.gnu.org/
and look for "read more" if you're interested.