Skip to content
Commit 980a6b31 authored by muraca's avatar muraca
Browse files

warnings for `proposal_of` 



Signed-off-by: default avatarmuraca <[email protected]>
parent e9a3e405
Pipeline #395077 canceled with stages
in 48 minutes and 44 seconds