Not relevant? 

I had noticed that you reverted my edit but I couldn't care enough to try to fight for it. If you think it is not relevant then that is fine.
Though I would still advise to write it somewhere as that kind of information is definitely worth knowing if not merely interesting.