[xiphos-devel] 4.2.0 tagged and pushed

[Greg Hellings]

I'm good with it. Typically things pushed publicly you're discouraged from
modifying, but I see no issues in this case.

--Greg

On Sat, May 2, 2020 at 1:18 PM Karl Kleinpaste <karl at kleinpaste.org> wrote:

> On 5/2/20 2:16 PM, Greg Hellings wrote:
>
> Including that in my patch.
>
> I see that git supports deleting a tag.  (Never noticed that before.)  Are
> we good with doing git tag -d 4.2.0, merging a patch, and re-tagging?
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.crosswire.org/pipermail/xiphos-devel/attachments/20200502/90320c2c/attachment-0001.html>