undo PR #2645
For some reason, PR #2646 was made on top of the code base for pr #2645. If we accept PR #2646 as is, we perform PR #2645 that was previously rejected. This change is an attempt to avoid this.
This commit is contained in:
1 parent
9ce778a8dc
commit
b3d865835f