You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
The text was updated successfully, but these errors were encountered:
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?
The text was updated successfully, but these errors were encountered: