[PD-dev] closing GItHub PRs
Alexandre Torres Porres
porres at gmail.com
Thu Jun 29 05:45:03 CEST 2017
2017-06-28 6:25 GMT-03:00 IOhannes m zmölnig <zmoelnig at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puredata.info/pipermail/pd-dev/attachments/20170629/7ab5198a/attachment.html>
More information about the Pd-dev
mailing list