Bug#716728: E: Invalid_argument("String.create")

To: Goswin von Brederlow <goswin-v-b@web.de>
Cc: 716728@bugs.debian.org, control@bugs.debian.org
Subject: Bug#716728: E: Invalid_argument("String.create")
From: Hendrik Tews <tews@os.inf.tu-dresden.de>
Date: Wed, 17 Jul 2013 17:08:30 +0200
Message-id: <[🔎] 6xzjtltea9.fsf@blau.inf.tu-dresden.de>
Reply-to: Hendrik Tews <tews@os.inf.tu-dresden.de>, 716728@bugs.debian.org
In-reply-to: <[🔎] 20130711221527.21439.44965.reportbug@frosties.localnet> (Goswin von Brederlow's message of "Fri, 12 Jul 2013 00:15:27 +0200")
References: <[🔎] 20130711221527.21439.44965.reportbug@frosties.localnet>

forwarded 716728 https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1295&group_id=54&atid=291
thanks

upstream plans to fix this issue in version 0.4.

Bye,

Hendrik

Reply to:

Follow-Ups:
- Processed: Re: Bug#716728: E: Invalid_argument("String.create")
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

References:
- Bug#716728: E: Invalid_argument("String.create")
  - From: Goswin von Brederlow <goswin-v-b@web.de>

Prev by Date: Profitez de nos promotions spéciales vacances à Agadir.
Next by Date: Processed: Re: Bug#716728: E: Invalid_argument("String.create")
Previous by thread: Bug#716728: E: Invalid_argument("String.create")
Next by thread: Processed: Re: Bug#716728: E: Invalid_argument("String.create")
Index(es):
- Date
- Thread