Add leftover commits - Githubissues

google / kernel-sanitizers

Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel

https://google.github.io/kernel-sanitizers/

436 stars 87 forks source link

Closed ramosian-glider closed 4 years ago

ramosian-glider commented 4 years ago

For some reason Github failed to include these two commits into PR #96

ramosian-glider commented 4 years ago

Gonna merge these two manually

ramosian-glider commented 4 years ago

Yes, I was just trying to get GH merge them for me. Something has probably gone wrong.