<div dir="ltr"><div>Hi,</div><div><br></div><div>I just found that the latest commit 15003d43 to master hadn't added the dir </div><div>linux/linux to .gitignore. It will show linux/linux as untracked if the</div><div>workaround works.</div><div><br></div><div>Zhibin Li</div><div></div></div>