[aur-requests] [PRQ#1750] Merge Request for mediawiki-ext-scribunto-git

[notify at aur.archlinux.org]

Araeos [1] filed a request to merge mediawiki-ext-scribunto-git [2]
into mediawiki-scribunto-git [3]:

Shortened package name.

[1] https://aur.archlinux.org/account/Araeos/
[2] https://aur.archlinux.org/pkgbase/mediawiki-ext-scribunto-git/
[3] https://aur.archlinux.org/pkgbase/mediawiki-scribunto-git/