4 Nov
2023
4 Nov
'23
12:04 a.m.
yochananmarqos [1] filed a request to merge python-restructuredtext- lint [2] into python-restructuredtext_lint [3]: PRQ#46263 should have been a merge request, not a deletion request-- that is, if we're going to keep python-restructuredtext_lint instead. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/python-restructuredtext-lint/ [3] https://aur.archlinux.org/pkgbase/python-restructuredtext_lint/