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
I absolutely forgot about this patch but I think that it is fine: the change is very small and non-invasive, it builds on information that was already present. I don't see any reason why not to have this information if it was useful to Stéphane, so I'm thinking of merging it in trunk (with a Changelog, etc.).
Original bug ID: 5163
Reporter: @glondu
Assigned to: @gasche
Status: resolved (set by @gasche on 2016-12-14T13:47:56Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 3.12.1+dev
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: tools (ocaml{lex,yacc,dep,debug,...})
Tags: patch
Monitored by: mehdi
Bug description
Attached is a patch that adds the list of defined symbols of a bytecode executable in objinfo output.
File attachments
The text was updated successfully, but these errors were encountered: