goodok/sympy-bot — comment on commit bf212123f9d53eb8bdd8e021ba7d45d0f6ad4065
File:  line 0
By asmeurer:

I don't think this is necessary. It can go in the report somewhere, but it's not important enough to go in the summary.