<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)">Well, forget what i said about TODOs, there's a lot of things that i can do on nmap.<br><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(0,0,0)">Hilko, is there any reason we're not hardening nmap? I just enabled it here and i'm planing to push it if i don't find any problem, I thought its better to ask you first as it may not be enabled yet because of some problem you've found. <br></div><div class="gmail_extra"><br><div style="font-family:tahoma,sans-serif;color:rgb(0,0,0)" class="gmail_default">​Lorenzo, feel free to ask me about any changes i've made, Gianfranco already explained the DEP14 changes :)<br></div><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><span style="font-family:verdana,sans-serif"><span style="color:rgb(102,102,102)">Samuel Henrique <samueloph></span></span></div></div></div></div></div></div></div>
</div></div>