5 ms·

It's good that they are pinged. Maybe they be annoyed enough to fix it.

• bokchoi 14y ago
  Right, the best way to get a bug fixed is to annoy the people who might fix it for you.
• slurgfest 14y ago
  It also 'pings' everyone who starred/subscribed to the issue out of interest - very not cool
  • SquareWheel 14y ago
    It's the reason I don't star issues any more. The number of "me too!" comments is out of hand.