Skip to content

Avoid unneeded bug!() call#61291

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:avoid-unneeded-bug-call
May 29, 2019
Merged

Avoid unneeded bug!() call#61291
bors merged 1 commit intorust-lang:masterfrom
spastorino:avoid-unneeded-bug-call

Commits

Commits on May 28, 2019