<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 15 November 2016 at 09:39, Diego Rondini <span dir="ltr"><<a href="mailto:diego.ml@zoho.com" target="_blank">diego.ml@zoho.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":4nd" class="a3s aXjCH m158676f416f9b6a5">-PR = "r6"<br>
+PR = "r7"<br></div></blockquote></div><br>No need to bump PR anymore, this is historical and when they release PR can be removed.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Ross</div></div>