Did the Linux memory management maintainer "just quit"?

2 pointsby hliyan2 hours ago