diff options
author | Don Armstrong <don@donarmstrong.com> | 2012-09-14 10:43:51 -0700 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-09-17 13:33:58 -0400 |
commit | 2baf12c9e1c8c0b0cea3dc45aff3e75ea15f372a (patch) | |
tree | 0161d02fc95a30d73ec9a679f80de8f2f1f28b69 /debian | |
parent | cdb8852a4b1ef3e83f5f9fdc60285c015a38c0e1 (diff) |
Bug#525821: [PATCH] support having the same document id in different packages in the same source
This is a multi-part message in MIME format.
--------------1.7.10.4
Content-Type: text/plain; charset=UTF-8; format=fixed
Content-Transfer-Encoding: 8bit
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 2ff9bfa6..6eed10d9 100644 --- a/debian/changelog +++ b/debian/changelog @@ -14,6 +14,8 @@ debhelper (9.20120609) UNRELEASED; urgency=low distutils installed. Closes: #683557 * dh_icons: Improve documentation. Closes: #684895 * Improve -X documentation. Closes: #686696 + * Support installing multiple doc-base files which use the same doc-id. + (Closes: #525821) -- Joey Hess <joeyh@debian.org> Thu, 05 Jul 2012 08:51:07 -0600 |