Skip to content

Commit

Permalink
Merge #302
Browse files Browse the repository at this point in the history 
302: Update Submodules r=viper-admin a=viper-admin

* Updates Gobra from `4a2739011c8022232063172f574830b2b7c3f2eb` to `3590b3cf005adc6b7c2da96d6ef9dbdec7974cf9`.

Co-authored-by: ArquintL <[email protected]>
  • Loading branch information
@bors @ArquintL
bors[bot] and ArquintL authored Jul 18, 2023
2 parents 00dfb51 + 3fa98c9 commit 7e92cd4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion server/gobra
Submodule gobra updated 1 files
+7 −14 src/main/scala/viper/gobra/reporting/Message.scala

0 comments on commit 7e92cd4

Please sign in to comment.