[PRQ#41383] Deletion Request for ton
11 May
2023
11 May
'23
6:04 a.m.
neodiX [1] filed a deletion request for ton [2]: Thanks for the comments. This was a first commit to see if push works from github actions. I will rename it to git-bin, since the building process with nix takes too long. [1] https://aur.archlinux.org/account/neodiX/ [2] https://aur.archlinux.org/pkgbase/ton/
11 May
11 May
6:04 a.m.
New subject: [PRQ#41383] Deletion Request for ton Accepted
Request #41383 has been Accepted by neodiX [1]: [Autogenerated] Accepted deletion for ton. [1] https://aur.archlinux.org/account/neodiX/
594
Age (days ago)
594
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org