Summary

llrb-tree 0.3.4: missing tag in the repository

Metadata

• Id: dce33297c6c02d48444ccdbf683a369fac209464
• Trac id: 1543
• Type: defect
• Reporter: mario
• Owner: joergw
• Cc:
• Status: closed
• Component: extensions
• Estimated difficulty: trivial
• Resolution: fixed
• Priority: major
• Milestone: someday
• Version: 4.13.0
• Changetime: 2018-10-03 20:56:51 UTC
• Created: 2018-10-01 19:45:11 UTC
• Keywords: llrb-tree

Description

Looks like the 0.3.4 tag is not in https://github.com/0-8-15/llrb-tree, but it is referenced in the .release-info file.

Changes and comments

[2018-10-03 20:56:51 UTC] mario changed status from new to closed

[2018-10-03 20:56:51 UTC] mario set resolution to fixed

[2018-10-03 20:56:51 UTC] mario wrote:

Seems to have been fixed.