Rohitt Vashishtha

Hey, I just wanna bring to your attention that this and the other issue you closed as duplicates are actually duplicates of each other but not the original issue, well,...

Advantages vs disadvantages of moving to gnome's git server? You'd lose on GitHub issue tracker, which, if I were you, would consider a huge downside. What restricts gnome developers from...

I see my oversight was in the definition of "ASCII letter/punctuation", and that should be fixed. But with this condition replacing the `

I like this change. While being in contrast of what #12953 asks, this reduces a lot of visual clutter. CC @rishig: I think that if this is explained as a...