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

Request #17375 has been accepted automatically by the Arch User Repository package request system: The user diabonas deleted the package.