<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2015-04-24 23:00 GMT+02:00 David Douard <span dir="ltr"><<a href="mailto:david.douard@logilab.fr" target="_blank">david.douard@logilab.fr</a>></span>:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
> Do you plan to change existing tags or just to have a new scheme for new tags ?<br>
<br>
</span>This is to be decided. I am in favor of adding tags[...] but also for some<br>
recent versions (the 3.20 series, maybe 3.19 also)<br></blockquote><div><br></div><div>Sounds like a waste of time and space.</div><div>We don't need redundant tags.</div></div></div></div>