[PD-dev] closing GItHub PRs

[Dan Wilcox]

Can we close those PRs that have been merged upstream? It's a little confusing right now...

--------
Dan Wilcox
@danomatika <http://twitter.com/danomatika>
danomatika.com <http://danomatika.com/>
robotcowboy.com <http://robotcowboy.com/>



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puredata.info/pipermail/pd-dev/attachments/20170628/6b1de45f/attachment.html>