diff tools/roundup.public.pgp.key @ 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 9deed9569617
children 1e004afe87bb
line wrap: on
line diff

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