Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PkiwM-0003cG-JL; Wed, 02 Feb 2011 12:04:44 -0800 Received: by pxi19 with SMTP id 19sf41347pxi.16 for ; Wed, 02 Feb 2011 12:04:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:mime-version:x-beenthere:received-spf:date:to :subject:message-id:from:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=veSNoSwN3zMt6d66IbC0RtYFIpMNIG+lfXMoHT6g3Ew=; b=qZkOolHrbPwh6zLduKOqrOiVO9kymVzwioPcqOk2xO/lnKeNpyCA9t4SK2403tzDOf Q5f8N210kxFU/OBZ8zzIBRvGPyyvOZuO9NmiC/+TjpVkAPOnBdPATFDOSuFq7zNKMYdL l1k3siPOA5GuvDWMAKNug5w5NT/LAugJ2Gick= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=mime-version:x-beenthere:received-spf:date:to:subject:message-id :from:x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; b=PiDnP19Yo9xwHg7ebCX8/v9ln49LPMwIRGqY/ybRP/3BKrjxFNDdIsZ7i8dcuzOikL x59qvQehH44aBlaeSQ9ohKUJRDi9bg+pyVVpeJZHQ/jC4/yk6qmrMlARkSlfLQUV85my 3dBv4Lc/8Eo1jU+sSDkSszlDQQaz2xw/XGGLU= Received: by 10.142.172.2 with SMTP id u2mr591395wfe.41.1296677061916; Wed, 02 Feb 2011 12:04:21 -0800 (PST) MIME-Version: 1.0 X-BeenThere: bpfk-list@googlegroups.com Received: by 10.142.249.41 with SMTP id w41ls1417317wfh.1.p; Wed, 02 Feb 2011 12:04:21 -0800 (PST) Received: by 10.142.178.17 with SMTP id a17mr2027782wff.25.1296677060981; Wed, 02 Feb 2011 12:04:20 -0800 (PST) Received: by 10.142.178.17 with SMTP id a17mr2027781wff.25.1296677060953; Wed, 02 Feb 2011 12:04:20 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTPS id p40si26411835wfc.2.2011.02.02.12.04.20 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 02 Feb 2011 12:04:20 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1Pkiw7-0003bh-28 for bpfk-list@googlegroups.com; Wed, 02 Feb 2011 12:04:20 -0800 Received: from smtp1-ext.rs.github.com ([207.97.227.250] helo=smtp1.rs.github.com) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pkivw-0003bA-Pd for bpfk@lojban.org; Wed, 02 Feb 2011 12:04:18 -0800 Received: from github.com (sh1.rs.github.com [172.17.1.41]) by smtp1.rs.github.com (Postfix) with ESMTP id D564242346 for ; Wed, 2 Feb 2011 12:04:07 -0800 (PST) Date: Wed, 2 Feb 2011 12:04:07 -0800 To: bpfk@lojban.org Subject: [bpfk] [dag/cll] 5c1037: Merge commit '7b63287a42909f6e3990ce150cd76a89dfd2... Message-Id: <20110202200407.D564242346@smtp1.rs.github.com> From: noreply@github.com X-Original-Sender: noreply@github.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=nobody@digitalkingdom.org Reply-To: bpfk-list@googlegroups.com Precedence: list Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Length: 772 Branch: refs/heads/gh-pages Home: https://github.com/dag/cll Commit: 5c1037023bdd7966f127874dbfa57852e74fde3a https://github.com/dag/cll/commit/5c1037023bdd7966f127874dbfa57852e74fde3a Author: Robin Lee Powell Date: 2011-02-02 (Wed, 02 Feb 2011) Changed paths: M todocbook/13.xml M todocbook/3.xml Log Message: ----------- Merge commit '7b63287a42909f6e3990ce150cd76a89dfd2c314' into gh-pages -- You received this message because you are subscribed to the Google Groups "BPFK" group. To post to this group, send email to bpfk-list@googlegroups.com. To unsubscribe from this group, send email to bpfk-list+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en.