Re: [aur-requests] [PRQ#20180] Deletion Request for gazebo-hg