<div dir="ltr"><div>Hello,</div><div>I saw an old message on the -dev list that there was some migration to github in progress:<br></div><div><a href="https://mailman.open-bio.org/pipermail/emboss-dev/2018-January/001502.html">https://mailman.open-bio.org/pipermail/emboss-dev/2018-January/001502.html</a> <br></div><div><br></div><div>Did anything ever happen with that? <br></div><div><br></div><div>thanks</div><div>Afif<br></div></div>