Fix build of ps2mouse4d driver #402
Reference in New Issue
Block a user
Delete Branch "dunkaist/kolibrios:pr-fix-build-ps2mouse4d"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The previous commit removed the trunk directory, fix Tupfile.lua too.
I wonder why build checks passed for the previous pull request: #248
Thanks @dunkaist - sorry I missed that! 😅