[aur-requests] [PRQ#17375] Merge Request for ros-melodic-ompl Accepted

[notify at aur.archlinux.org]

Request #17375 has been accepted automatically by the Arch User
Repository package request system:

The user diabonas deleted the package.