Skip to content
Snippets Groups Projects
Commit 21ec8d24 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Remove some casts and use `@` notation instead.

parent e263eb10
No related branches found
No related tags found
Loading
Checking pipeline status