Viewing profile — sylvestre

+1 ;)

While I do understand the frustration, I think the "find in page" hotkey isn't a big enough reason to change the platform. Myself, I am happy with the performances. By the way, wha…

As others said, having more details would be helpful (or a bug report on https://bugzilla.mozilla.org/ ). In general, we quickly act on obvious bugs/regressions on major websites. …

and it is now fixed!

Yes

Please don't read too much into this ;) We moved from self-hosted Discourse to hosted Discourse. The transfer was initiated late from the Mozilla side (my bad) and the automatic sy…

it would be nice if you could open a bug https://bugzilla.mozilla.org/ with a screen recording and/or step to reproduce. (I am a big user of Github on Firefox for android and I can…

Would you have more details to share? I don't experience such issues on github. Clue: do you have some unusual addons which could change the behavior of Firefox?

Feels like an excellent track record to me: https://tracker.debian.org/pkg/firefox-esr ;) And Mike is also a prolific Firefox developer.

This project isn't related to Mozilla at all.

Coucou ;)

See https://news.ycombinator.com/item?id=37836932 by a Mozilla employee

Getting closer and closer to GNU parity

Distributions are mostly patching software for (not specific for Rustc): * Paths - distro don't need to keep path detection and can simplify it (ex: headers detections) * Archs tha…

This work has been coordinated with the Rust Foundation.

I added some CI task and replayed the history to graph the evolution of the size: https://github.com/uutils/coreutils-tracking#binary-size-evo... This will help making sure that we…

I don't have data but I guess ls, cp, mv, ln, chown, chmod, sort and cut are the most popular. Overall, I don't think it is a key part of the OS regular work. Most of the servers a…