2017-06-28 6:25 GMT-03:00 IOhannes m zmölnig <zmoelnig@iem.at>:
i'd suggest to create a new *issue* about removing the object, and close
the pull-request.

you can *then* create a new PR that removes the object and closes your
ticket.

that is exactly what I meant