Re: [hackers] [PATCH] Remove .hgtags

From: David Phillips <david_AT_sighup.nz>
Date: Thu, 10 May 2018 23:35:52 +1200

On Thu, May 10, 2018 at 01:05:12PM +0200, David Demelier wrote:
> <div dir='auto'><div><div class="gmail_extra"><div class="gmail_quote">Le&nbsp;10 mai 2018 11:23, Hiltjo Posthuma &lt;hiltjo_AT_codemadness.org&gt; a écrit&nbsp;:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">On Wed, May 09, 2018 at 08:50:09PM +0200, David Demelier wrote:
> <br>
> &gt; ---
> <br>
> &gt;&nbsp; .hgtags | 10 ----------
> <br>
> &gt;&nbsp; 1 file changed, 10 deletions(-)
> <br>
> &gt;&nbsp; delete mode 100644 .hgtags
> <br>
> &gt;
> <br>
> &gt; diff --git a/.hgtags b/.hgtags
> <br>
> &gt; deleted file mode 100644
> <br>
> &gt; index 98d1562..0000000
> <br>
> &gt; --- a/.hgtags
> <br>
> &gt; +++ /dev/null
> <br>
> &gt; _AT_@ -1,10 +0,0 @@
> <br>
> &gt; -0391602b2f06e0c7e89b7328719bec5695f57d9c ii-1.2
> <br>
> &gt; -daf8fc17d14014f312721c1d56ffa049392393fc ii-1.2
> <br>
> &gt; -987fc9d57808948b4bcf626b096c9c60226455d3 ii-1.3
> <br>
> &gt; -7c7c000b4f42a48676e8f98a953a981bf6b29029 1.4
> <br>
> &gt; -4c6892284a9ae73de3c84c164e214d31e76427a4 1.5
> <br>
> &gt; -4c6892284a9ae73de3c84c164e214d31e76427a4 1.5
> <br>
> &gt; -6f504f412a5997158b651eac8785f8331408b2e5 1.5
> <br>
> &gt; -6f504f412a5997158b651eac8785f8331408b2e5 1.5
> <br>
> &gt; -550ee110071903b9676d848d8947e96e02a8a662 1.5
> <br>
> &gt; -f09f802a80379d24194535c7991182ceeb9291af 1.6
> <br>
> &gt; --
> <br>
> &gt; 2.17.0
> <br>
> &gt;
> <br>
> &gt;
> <br>
>
> <br>
> Please mention the project name in the subject message.
> <br>
>
> <br>
> Patch looks OK.
> <br></p></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">Oops sorry, I'll do for the next ones.</div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">
> </p>
> </blockquote></div><br></div></div></div>

Please don't send HTML email.

Thanks
Received on Thu May 10 2018 - 13:35:52 CEST