[aur-requests] [PRQ#3876] Deletion Request for linux-rt-dev

jhernberg [1] filed a deletion request for linux-rt-dev [2]: I created this package by mistake. There won't be a linux-rt-dev in the future, only linux-rt and linux-rt-dev. Thanks [1] https://aur.archlinux.org/account/jhernberg/ [2] https://aur.archlinux.org/pkgbase/linux-rt-dev/