5 ms·Not really, it implies they didn't make a PR event out of the change, they just did it.by dandelany 11y agoNot really, it implies they didn't make a PR event out of the change, they just did it.