Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Obsolete biblio ref: [hr-time] is replaced by [hr-time-2] #1558

Closed
annevk opened this issue Dec 5, 2019 · 1 comment
Closed

Obsolete biblio ref: [hr-time] is replaced by [hr-time-2] #1558

annevk opened this issue Dec 5, 2019 · 1 comment

Comments

@annevk
Copy link
Collaborator

annevk commented Dec 5, 2019

Can we make the former point to the latest automatically? Or should I change specref for this?
@annevk annevk mentioned this issue Dec 5, 2019
Merged
@tabatkins
Copy link
Collaborator

This is already opened on SpecRef: tobie/specref#571

(If it ends up being too difficult to deal with, I can special-case it, but dealing with it at the source is ideal.)

@ExE-Boss ExE-Boss mentioned this issue Dec 6, 2019
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tabatkins @annevk