Skip to content

GitLab

Merged
Opened by Robbert Krebbers@robbertkrebbersMaintainer

Fix issue #393: repair statement of `fupd_plainly_laterN`

Title says it all :)