diff make-dist @ 103857:51b13818eef5

Add a note about bumping the value of customize-changed-options-previous-release.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 11 Jul 2009 10:40:04 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff