diff doc/user_guide.txt @ 5767:75a13700d97e issue2551008

Add CHANGES.txt entry for issue2551008.
author Ezio Melotti <ezio.melotti@gmail.com>
date Wed, 05 Jun 2019 21:00:46 +0200
parents 0df5f9eeefd4
children c263187e82d1
line wrap: on
line diff

Roundup Issue Tracker: http://roundup-tracker.org/