users-guide: Add pretty to package list
authorBen Gamari <ben@smart-cactus.org>
Sat, 6 Apr 2019 16:26:38 +0000 (12:26 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Sun, 21 Apr 2019 13:07:13 +0000 (09:07 -0400)
commit5cf771f35f926f435f75020bb159eebb18ed6fb9
treebf78b5eae078cbc04e1b2c092ceae85461f7e90d
parent983c53c3da7a2e4e9c91f21adbd93c68a7922bae
users-guide: Add pretty to package list
docs/users_guide/8.8.1-notes.rst