Code

Fix typos#4286

Code

Open

Marcofann wants to merge 5 commits intoinformalsystems:masterinformalsystems/hermes:masterfrom Marcofann:fix/typosMarcofann/hermes:fix/typosCopy head branch name to clipboard

+7-7

Commits

Commits on Jan 5, 2025

• typo conclude.rs

  Show description for 45e9112
  Marcofann

  authored
  45e9112

  Copy full SHA for 45e9112

• typo simple.rs

  Show description for d891d1f
  Marcofann

  authored
  d891d1f

  Copy full SHA for d891d1f

• typo dual.rs

  Show description for db1e64f
  Marcofann

  authored
  db1e64f

  Copy full SHA for db1e64f

• typo mono.rs

  Show description for e305250
  Marcofann

  authored
  e305250

  Copy full SHA for e305250

• typos client_upgrade.rs

  Show description for 94f00f0
  Marcofann

  authored
  94f00f0

  Copy full SHA for 94f00f0