diff options
author | Holger Wansing <holgerw@debian.org> | 2017-04-20 19:57:04 +0000 |
---|---|---|
committer | Holger Wansing <holgerw@debian.org> | 2017-04-20 19:57:04 +0000 |
commit | dce15a9844667a13e4254636ca89a28c467d4350 (patch) | |
tree | 2d0b7366c233b0abcae7ba7f50f5e2d5441e8b8e /debian/changelog | |
parent | 1ddee96f5abae6f081a53f0500b6bc924ef987b9 (diff) | |
download | installation-guide-dce15a9844667a13e4254636ca89a28c467d4350.zip |
Add missing CSS style for <tip> tag. Closes: #860180
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index c5a70f8fa..4dd34f126 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,6 +3,7 @@ installation-guide (2017XXXX) UNRELEASED; urgency=medium [ Holger Wansing ] * Some '>' changed into '>' within <informalexample> tags, to get them correctly processed. + * Add missing CSS style for <tip> tag. Closes: #860180 -- Samuel Thibault <sthibault@debian.org> Wed, 19 Apr 2017 19:29:24 +0200 |