From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14959 invoked by alias); 14 Aug 2012 23:52:31 -0000 Received: (qmail 14951 invoked by uid 22791); 14 Aug 2012 23:52:31 -0000 X-SWARE-Spam-Status: No, hits=-2.0 required=5.0 tests=AWL,BAYES_00,RCVD_IN_HOSTKARMA_NO X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 14 Aug 2012 23:52:17 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id D86371C6F32; Tue, 14 Aug 2012 19:52:16 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 5rP4tVd-Dv1S; Tue, 14 Aug 2012 19:52:16 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 608431C6F29; Tue, 14 Aug 2012 19:52:16 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id ECE7314561A; Tue, 14 Aug 2012 19:52:11 -0400 (EDT) Date: Tue, 14 Aug 2012 23:52:00 -0000 From: Joel Brobecker To: Sergio Durigan Junior Cc: Jan Kratochvil , Gyula Gubacsi , GDB Patches , Eli Zaretskii Subject: Re: How often is the git repository is updated? Message-ID: <20120814235211.GC2742@adacore.com> References: <20120814111930.GA11949@host2.jankratochvil.net> <20120814203153.GB2742@adacore.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2012-08/txt/msg00422.txt.bz2 > Thanks, checked in. I could not find a ChangeLog file to edit, so I > just committed the html. Yes, that's good enough. I propagated the change to gnu.org as well. Thanks, Sergio. -- Joel