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