<div dir="ltr">I forgot to add a subject line to the original email.<br><div><div class="gmail_extra"><br><div class="gmail_quote">2018-07-23 17:21 GMT+02:00 Timo Kaufmann <span dir="ltr"><<a href="mailto:eisfreak7@gmail.com" target="_blank">eisfreak7@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>It looks like the sympow upgrade is finally getting somewhere[1]. Jérôme Benoit made debians de-facto fork official[2]. This will need some patches. Since debian has already updated for a while, I'm assuming you (the debian maintainers) already have a patch for that? Could you point me to that or add the patches directly to the trac ticket[1]?<br></div><div><br></div><div>[1] <a href="https://trac.sagemath.org/ticket/3360" target="_blank">https://trac.sagemath.org/tick<wbr>et/3360</a></div><div>[2] <a href="https://gitlab.com/rezozer/forks/sympow" target="_blank">https://gitlab.com/rezozer/<wbr>forks/sympow</a><span class="HOEnZb"><font color="#888888"><br></font></span></div></div><span class="HOEnZb"><font color="#888888">

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups "sage-packaging" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:sage-packaging+unsubscribe@googlegroups.com" target="_blank">sage-packaging+unsubscribe@<wbr>googlegroups.com</a>.<br>
To post to this group, send email to <a href="mailto:sage-packaging@googlegroups.com" target="_blank">sage-packaging@googlegroups.<wbr>com</a>.<br>
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/sage-packaging/CABVZtg0RPnT2bzCVFwsBtA%3DxQN1NuUx8FUsraWYcT3Epa5f%2BJQ%40mail.gmail.com?utm_medium=email&utm_source=footer" target="_blank">https://groups.google.com/d/<wbr>msgid/sage-packaging/<wbr>CABVZtg0RPnT2bzCVFwsBtA%<wbr>3DxQN1NuUx8FUsraWYcT3Epa5f%<wbr>2BJQ%40mail.gmail.com</a>.<br>
For more options, visit <a href="https://groups.google.com/d/optout" target="_blank">https://groups.google.com/d/<wbr>optout</a>.<br>
</font></span></blockquote></div><br></div></div></div>