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.

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

CVS does not reflect supposedly fixed issues #3920

Closed
vicuna opened this issue Dec 12, 2005 · 2 comments
Closed

CVS does not reflect supposedly fixed issues #3920

vicuna opened this issue Dec 12, 2005 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Dec 12, 2005

Original bug ID: 3920
Reporter: @mmottl
Status: closed (set by @damiendoligez on 2005-12-15T12:18:30Z)
Resolution: not a bug
Priority: normal
Severity: trivial
Category: ~DO NOT USE (was: OCaml general)

Bug description

According to notes regarding issue #3825 it has been fixed at INRIA, and the fix should be available. The CVS, however, does not show any updates. Maybe they have not yet been checked in?

@vicuna
Copy link
Author

vicuna commented Dec 13, 2005

Comment author: @alainfrisch

Markus: you need to look at the release309 CVS branch.

@vicuna
Copy link
Author

vicuna commented Dec 13, 2005

Comment author: @mmottl

Alain: Thanks for the hint!

This issue can be closed.

@vicuna vicuna closed this as completed Dec 15, 2005
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant