On Mon, Nov 03, 2025 at 11:52:07AM +0100, Roberto E. Vargas Caballero wrote: > If you agree, I will push the following version of the patch:
Due to a mistake in my side, I already pushed the change. Please, feel free to disagree and we will see how we can acomodate it in case of being needed. Regards,
