Skip to content
Snippets Groups Projects

Added binder rule for send, derived from subtyping and original rule

Passed
Jonas Kastberg created pipeline for commit e1e9c9d9
, finished
For master
1 job 15 minutes 6 seconds, queued for 3 seconds