]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 53f4bb9 a7de42f)
Merge pull request #1273 from bjorn3/jit_pull_symbols
authorbjorn3 <17426603+bjorn3@users.noreply.github.com>
Sun, 28 Aug 2022 09:30:00 +0000 (11:30 +0200)
committerGitHub <noreply@github.com>
Sun, 28 Aug 2022 09:30:00 +0000 (11:30 +0200)
Use pull instead of push based model for getting dylib symbols in the jit


Trivial merge
Empowering everyone to build reliable and efficient software.