[PRQ#76938] Merge Request for ptxdist-2018.12 Accepted

[notify]

Request #76938 has been Accepted by Muflone [1]:

[Autogenerated] Accepted merge for ptxdist-2018.12 into ptxdist.

[1] https://aur.archlinux.org/account/Muflone/