From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alan Schmitt Subject: Re: evaluation issue with ocaml code (due to changes to org-babel-comint-with-output) Date: Mon, 21 Dec 2015 09:06:03 +0100 Message-ID: References: <878u4rmo7s.fsf@nicolasgoaziou.fr> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:48282) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aAvTk-0007d2-Vr for emacs-orgmode@gnu.org; Mon, 21 Dec 2015 03:06:01 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aAvTg-00083G-WE for emacs-orgmode@gnu.org; Mon, 21 Dec 2015 03:06:00 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:57750) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aAvTg-00082y-Qe for emacs-orgmode@gnu.org; Mon, 21 Dec 2015 03:05:56 -0500 In-Reply-To: <878u4rmo7s.fsf@nicolasgoaziou.fr> (Nicolas Goaziou's message of "Fri, 18 Dec 2015 22:38:47 +0100") List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2015-12-18 22:38, Nicolas Goaziou writes: > Hello, > > Alan Schmitt writes: > >> Can I push this? > > I have no objection. Thanks, I pushed it. Alan =2D-=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 Athmospheric CO=E2=82=82 (Updated December 13, 2015, Mauna Loa Obs.): 401.3= 1 ppm --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBCgAGBQJWd7LrAAoJEAQNCjtO0uXHcXYH/jhMT5j1QEiMgGrrEpFnSfmk Z/aHfBQYup8ltVEJ8uftmNO9eaxGt+9yEz0IVjJix9mnNQD6V8Uf67a+8VPNMhbW 07fAi2m0nstJJNNBcU3GQK7smOSbdHNmbI1cf7spV+HVtjJu/dwGKEka5P9x/JW3 oMbCZAisKV+InqSMJuMoDLw1cJ246qZvKD1wh6opR0CkPsy0cfZYymmU7/PO3jeE jdxw4pqvSA4T7m52GJTtsfA8NKzN7jk4japgh0rVPq/kzY3DIZUFRmQtFwoJ9FrJ Q6C3Tjq1awIJ6hUuCxMa6t53SuQzgincsuqKQgytEvptof3kfyPEPJSGNJ3HqWI= =dx8q -----END PGP SIGNATURE----- --=-=-=--