On 9/12/18 7:59 PM, Miller Puckette wrote:
> This is essentially how I do it too... for PRs on the pure-data project it's

btw, it seems that you accidentally pushed some helper-tags, namely
"after-infinite-undo" and "before-inf-undo".
i've removed them from the github repository, but you might want to
remove them locally as well, to prevent re-pushing them.

gfasmrd
IOhannes



Attachment: signature.asc
Description: OpenPGP digital signature

_______________________________________________
Pd-dev mailing list
[email protected]
https://lists.puredata.info/listinfo/pd-dev

Reply via email to