Subject: Re: bug#71220: Missing hyperlink

From: Stefan Kangas <[email-masked]>
Date: Mon, 27 May 2024 14:04:39 -0700

Dan Jacobson <[email-masked]> writes:

> If this were GitHub I would submit a PR.

Perhaps sending patches is an acceptable alternative; run
`git format-patch -1' and then attach the result to your email.