undo the effect of rejected PR #2645
It seems that for some reason, PR #2647 tried to drag in older PR #2645 that was rejected. We attempt to undo this effect with this change.
This commit is contained in:
1 parent
c5ddc5b7d9
commit
ccc982386e