4 ms·

Sure, delete it! The pull request contains all the information needed about the actual change.

• fapjacks 11y ago
  Good to know! That is extremely helpful.