Replace more uses of snippet_opt.
#711
JarchoArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
base
|
20.4 MB |
|
|
diff
|
364 Bytes |
|
|
head
|
20.4 MB |
|