On 11/14/19 8:23 PM, Paolo Carlini wrote:
Hi again,

On 14/11/19 12:09, Paolo Carlini wrote:
Hi,

tested x86_64-linux.

Instead of sending a separate patch, the below has two additional uses. Tested as usual.

Thanks, Paolo.

///////////////////

OK.

Reply via email to