]> git.proxmox.com Git - rustc.git/commitdiff
projects / rustc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4a54b58 6a1b7eb)
Merge branch 'profiler' into 'debian/sid'
authorFabian Grünbichler <debian@fabian.gruenbichler.email>
Sun, 14 Jan 2024 19:05:31 +0000 (19:05 +0000)
committerFabian Grünbichler <debian@fabian.gruenbichler.email>
Sun, 14 Jan 2024 19:05:31 +0000 (19:05 +0000)
enable profiler builtin (#1043311)

See merge request rust-team/rust!28


Trivial merge
backport for Debian buster