<div dir="ltr"><div class="gmail_extra">Hi,<br><br></div><div class="gmail_extra"><div class="gmail_quote">2015-05-10 23:53 GMT+02:00 Samuel Thibault <span dir="ltr"><<a href="mailto:sthibault@debian.org" target="_blank">sthibault@debian.org</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">Ansgar Burchardt, le Fri 08 May 2015 20:49:44 +0000, a écrit :<br>
<br>
> I also noticed that speech-tools-doc is also built by<br>
> src:festival-doc. What's up with that? Should src:festival-doc be<br>
> removed? (Please file a bug if that's the case.)<br>
<br>
Yes, that is the case. Sergio, apparently you forgot to submit the RM<br>
bug, could you do it?<br></blockquote><div><br>src:festival-doc built both festival-doc and speech-tools-doc. Now that both 
packages are built from src:festival and src:speech-tools respectively, 
src:festival-doc becomes an "obsolete source package" and can be removed.<br></div><br>According to <a href="https://wiki.debian.org/ftpmaster_Removals">https://wiki.debian.org/ftpmaster_Removals</a> "obsolete source packages" are automatically removed by the dak tool "cruft-report" also known as "rene", and there is no need to request the removal, as far as I understand.<br><br></div><div class="gmail_quote">However if there is a need for me to file the removal bug, I can do it (and then file another bug to ask for a clarification of the wiki). :-)<br></div><div><br><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
BTW, I realize that we haven't switched the maintenance advertised in<br>
debian/control to the tts project, I guess we should?<br></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Thanks,<br>
Samuel<br>
</blockquote></div><br></div><div class="gmail_extra">Best,<br></div><div class="gmail_extra">Sergio<br></div></div>