Unmarshal: Hide type-breaking code behind Sys.opaque_identity (!6) · Merge requests · pub / frama-c · GitLab

Snippets Groups Projects

Closed Vincent Laviron requested to merge lthls/frama-c:unmarshal-opaque-identity into master 3 years ago

All threads resolved!

See description in #2594 (closed).

Activity

Julien Signoles assigned to @bobot 3 years ago

assigned to @bobot
Julien Signoles changed milestone to %25 (Manganese) 3 years ago

changed milestone to %25 (Manganese)
François Bobot @bobot · 3 years ago

Owner

Thank you a lot for the fix, it should reach the public repository this evening.
Allan Blanchard @blanchard · 2 years ago

Maintainer

Resolved 2 years ago by Allan Blanchard

Since it has been merged through our internal repo, I close this MR.

Thank you!

Last reply by François Bobot 2 years ago
Allan Blanchard closed 2 years ago

closed
Allan Blanchard resolved all threads 2 years ago

resolved all threads

Please register or sign in to reply