From: Saeed Mahameed <sae...@mellanox.com> Date: Tue, 14 Jul 2020 05:11:31 +0000
> But at the time of this submission there wasn't any conflict, and I > couldn't determine ahead of time if you are going to merge net or this > pull request first. I understand that sometimes you cannot foresee this kind of situation, sure.
