On Mon, 31 Jul 2017, Uros Bizjak wrote: > One liner that mentions new addition to x86 port. > > OK for wwwdocs?
Sure. (Even without asking. ;-) Thanks, Gerald
On Mon, 31 Jul 2017, Uros Bizjak wrote: > One liner that mentions new addition to x86 port. > > OK for wwwdocs?
Sure. (Even without asking. ;-) Thanks, Gerald