Jakub Beránek
Jakub Beránek
Neither homu nor bors is planned to be used for subtrees anymore, so this is not relevant anymore. Sure would be nice if GitHub allowed us to put the repo...
Ah, right, I forgot about that. But the chance of rustc commits actually closing an issue in a subtree is relatively low, no? The difference in numbers is ~100k.
Hmm, ok. I'll reopen the issue, but doing this change would require going through several tools and making sure that they can parse both the old and the new formats,...
Hi, the benchmarking machine is described here: https://github.com/rust-lang/rustc-perf/blob/master/docs%2Fperf-runner.md But I wouldn't say that it's a good machine for Rust development, as it's quite old and only has six cores. If...
> Interesting, but deleting a directory can also be time consuming and contributed to build time, which I think most people may notice and avoid. I doubt that deleting a...
@BusyJay So, what do you think? :) I can send a PR if you'd like.
Sent https://github.com/tikv/jemallocator/pull/119.
I tried to replicate both in Chrome and Firefox, but wasn't able to. Kelvin doesn't seem to trim anything for me, even after submitting, there are spaces at the end...
Ubuntu/Xorg.
Could you run it with `-v` to see if there's more information available?