[PRQ#65601] Deletion Request for gawk-timex

pnorcks [1] filed a deletion request for gawk-timex [2]: Package has been marked obsolete upstream, since the functionality has been integrated into the core time extension (part of the gawk package since version 5.2.2, released in May 2023). [1] https://aur.archlinux.org/account/pnorcks/ [2] https://aur.archlinux.org/pkgbase/gawk-timex/