From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 43FFB7EEBF for ; Fri, 10 Jul 2015 21:28:36 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout0.freenet.de) identity=helo; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout0.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C3AQBQHKBVnFpcBMNBGoJmgQBgAYMftnt1ghMBCYVugVVMAQEBAQEBEgEBAQEBBg0JCSEuhBozVR8BHRYLAgsDAgECAVgIAQGIFAEWAwEIOqk9j1+QBAmBMgGFF5BughcMLxKBMQWUMQGEaIkfhj0DhVCKV4FvDIIobQGCSgEBAQ X-IPAS-Result: A0C3AQBQHKBVnFpcBMNBGoJmgQBgAYMftnt1ghMBCYVugVVMAQEBAQEBEgEBAQEBBg0JCSEuhBozVR8BHRYLAgsDAgECAVgIAQGIFAEWAwEIOqk9j1+QBAmBMgGFF5BughcMLxKBMQWUMQGEaIkfhj0DhVCKV4FvDIIobQGCSgEBAQ X-IronPort-AV: E=Sophos;i="5.15,449,1432591200"; d="scan'208,217";a="139707685" Received: from mout0.freenet.de ([195.4.92.90]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Jul 2015 21:28:35 +0200 Received: from [195.4.92.140] (helo=mjail0.freenet.de) by mout0.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1ZDdyM-0003iz-QF for caml-list@inria.fr; Fri, 10 Jul 2015 21:28:34 +0200 Received: from localhost ([::1]:47665 helo=mjail0.freenet.de) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZDdyM-0007jD-MV for caml-list@inria.fr; Fri, 10 Jul 2015 21:28:34 +0200 Received: from mx5.freenet.de ([195.4.92.15]:55667) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZDdum-0002Xu-GR for caml-list@inria.fr; Fri, 10 Jul 2015 21:24:52 +0200 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:37024) by mx5.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1ZDdum-0004qD-9x for caml-list@inria.fr; Fri, 10 Jul 2015 21:24:52 +0200 Message-ID: <55A01C03.8080906@freenet.de> Date: Fri, 10 Jul 2015 21:24:51 +0200 From: "Mr. Herr" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="------------090008060009070107050207" X-Originated-At: 2001:6f8:1c00:fb::2!37024 Subject: [Caml-list] Filename.get_suffix or Filename.get_extension This is a multi-part message in MIME format. --------------090008060009070107050207 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Maybe someone could spend some minutes on http://caml.inria.fr/mantis/view.php?id=5807 ? I think it is just silly this function is missing in Filename. /Str. --------------090008060009070107050207 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit Maybe someone could spend some minutes on http://caml.inria.fr/mantis/view.php?id=5807 ?

I think it is just silly this function is missing in Filename.

/Str.
--------------090008060009070107050207--