Skip to content
Snippets Groups Projects

Remove `:>>` subclass instance declarations

Merged Robbert Krebbers requested to merge ci/robbert/no_forward_instances into master
Loading