Hi,
This is just a reminder that PMC/Committers can only merge the PIP PR when
the vote thread is concluded and in a positive manner, as described (" a lazy
majority of at least 3 binding +1s votes")So please, before clicking that merge button, double-check those two conditions Thanks! Asaf
