<div dir="auto"><div class="gmail_extra" dir="auto"><div class="gmail_quote">On Dec 1, 2017 10:37, "SviMik" <<a href="mailto:svimik@gmail.com">svimik@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I understand your point, but can I, uh, forget it sometimes? Isn't it<br>
a repository job to check such things?</blockquote></div></div><div dir="auto"><br></div><div dir="auto">No, sorry, not at all.</div><div dir="auto"><br></div><div dir="auto">Akemi </div><div class="gmail_extra" dir="auto"></div></div>