Hi Joop,<div><br></div><div>The first message in this conversation does exactly what you said. The change would be made gradually, the build would not break, namespaces are just aliases. When the last old name is removed, the header is not useful and should be removed by regexp again.</div>
<div><br></div><div>Regards,</div><div>Júlio.<br><div class="gmail_quote"><br></div></div>