search

softdevteam / ykrustc

Yorick Meta-tracer
Other
6 stars 4 forks source link

Sync upstream 20201109 #142

Closed vext01 closed 4 years ago

vext01 commented 4 years ago

This syncs us with upstream.

There's one extra merge than usual because I started the sync before the last PR was merged, and rebasing these sync-ups never works (you get wacky conflicts along the upstream history).

I'll point out one part of this change in a moment.

vext01 commented 4 years ago

May I squash?

ptersilie commented 4 years ago

Go ahead.

vext01 commented 4 years ago

Splat.

ptersilie commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Build succeeded: