You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I noticed that make distclean didn't compare correctly with a fresh clone (after accounting for files I expected it wouldn't be expected to clean up). It left an empty Modules/_sha3 directory which used to hold files, but which is simply created by configure, then ignored.