<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2018-06-24 3:59 GMT-03:00 IOhannes m zmölnig <span dir="ltr"><<a href="mailto:zmoelnig@iem.at" target="_blank">zmoelnig@iem.at</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 06/23/2018 09:35 PM, Miller Puckette wrote:<br>
> OK... I need to fix a few bugs and quirks and put out a nice stable 0.48-2 -<br>
> I'll pull teh original one for that and hold off on more-toward-double-precision<br>
> for 0.49.<br>
<br>
great.<br>
<br>
please note that the PR [336] "0.48-2 / 0.49 running branch" is a<br>
curated branch that only contains trivial bugfixes, translation updates<br>
and documentation updates.<br>
<br>
(there's also an update of the deken plugin, so it plays nicely with<br>
some changes that happened on the deken-server).<br>
<br>
i consider the changes there to be safe for a bugfix update.<br>
please consider merging it.<br></blockquote><div><br></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">hi, please consider these simple documentation updates as well, maybe just include them in this running branch</span><br></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br></span></div><div><span style="background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><a href="https://github.com/pure-data/pure-data/pull/292">https://github.com/pure-data/pure-data/pull/292</a><br></span></div><div><span style="font-size:small;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><br></span></div><div><a href="https://github.com/pure-data/pure-data/pull/359">https://github.com/pure-data/pure-data/pull/359</a><br></div><div><br></div><div>cheers</div></div></div></div>