Mentions légales du service

Skip to content

Annotate monomorphic ADTs with encoding:kept when using keep_mono.

Jacques-Henri Jourdan requested to merge fix_746 into master

Fixes #746 (closed).

Merge request reports