Bug#876725: Fixed upstream

To: 876725@bugs.debian.org
Cc: control@bugs.debian.org
Subject: Bug#876725: Fixed upstream
From: Andreas Stührk <andy@hammerhartes.de>
Date: Fri, 20 Oct 2017 21:29:33 +0200
Message-id: <[🔎] CALGw5xnBFNuUmaZqseePQrqPOb7te=hPYHmiSUKzLPR33fodew@mail.gmail.com>
Reply-to: Andreas Stührk <andy@hammerhartes.de>, 876725@bugs.debian.org
References: <150633160745.12195.13972681591343788041.reportbug@localhost>

tags 876725 + fixed-upstream

thanks

This was fixed upstream in 4.2 (https://github.com/ocaml-ppx/ppx_deriving/commit/b6b02c2ba051bde67c2b454724ff0bf36bc11060)

Reply to:

Follow-Ups:
- Processed: Fixed upstream
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Re: Status of llvm-toolchain-3.8?
Next by Date: Processed: Fixed upstream
Previous by thread: Re: Status of llvm-toolchain-3.8?
Next by thread: Processed: Fixed upstream
Index(es):
- Date
- Thread