<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il giorno gio 12 set 2019 alle ore 09:50 Matteo Bini via Talk-it <<a href="mailto:talk-it@openstreetmap.org">talk-it@openstreetmap.org</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Aggiornamento veloce:<br>
ho proposto di rimuovere la festività dal codice [1],<br>
la modifica è in attesa di approvazione.<br></blockquote><div>
<div dir="ltr"><div><br></div><div>Ottimo!<br></div>Giusto per la precisione esiste ancora per legge e nel sito infatti è esplicitata all'inizio: "I giorni festivi Sono stabiliti per legge. Ad essi si aggiunge
                                            la festività locale del Santo patrono e, <b>nella prima domenica
                                      di novembre, la festa dell’unità nazionale</b>."</div><div>Poi siccome non è più osservata sono più che d'accordo nel rimuoverla.</div><div><br></div><div>Ciao!<br></div><div>Lorenzo</div>

</div></div></div>