Bug#687001: optional-dev: source package is available

To: 687001@bugs.debian.org
Subject: Bug#687001: optional-dev: source package is available
From: Dmitry Smirnov <onlyjob@member.fsf.org>
Date: Sat, 8 Sep 2012 17:24:24 +1000
Message-id: <[🔎] 201209081724.24886.onlyjob@member.fsf.org>
Reply-to: Dmitry Smirnov <onlyjob@member.fsf.org>, 687001@bugs.debian.org

Source package is available from 

  https://mentors.debian.net/package/optional-dev

Reply to:

Prev by Date: Processed: owner 687001
Next by Date: Processed: tagging as pending bugs that are closed by packages in NEW
Previous by thread: Processed: owner 687001
Next by thread: Processed: reassign 685471 to wnpp, forcibly merging 685471 676894
Index(es):
- Date
- Thread