On 10/30/20 11:26 AM, Paolo Bonzini wrote:
> On 30/10/20 01:49, Richard Henderson wrote:
>> Fourth, I have renamed the command-line parameter to "split-rwx".
> 
> Stupid observation, but wouldn't it be "split-wx"?

Um, yes.  ;-)


r~

Reply via email to