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

Merge branch 'simpl-never-fix' into 'master'

Avoid relying on buggy simpl never behavior

See merge request iris/stdpp!228
parents 7309dfa2 bfca791e
Branches
Tags
1 merge request!228Avoid relying on buggy simpl never behavior
Pipeline #41808 passed