Another use of state_change() and changes messages.
authorEric S. Raymond <esr@thyrsus.com>
Tue, 4 Jul 2017 11:59:20 +0000 (07:59 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 4 Jul 2017 11:59:20 +0000 (07:59 -0400)

No differences found