Skip to content

Storage: use a shorter Raw_context in Storage.v

Guillaume Claret requested to merge clarus@use-shorter-raw_context-in-storage into master

Merge request reports