snapshot v4 10 0#48

MikaelMayer wants to merge 2 commits into

maindafny-lang/dafny-lang.github.io:mainfrom

snapshot-v4_10_0dafny-lang/dafny-lang.github.io:snapshot-v4_10_0Copy head branch name to clipboard