Another use of state_change().
authorEric S. Raymond <esr@thyrsus.com>
Tue, 4 Jul 2017 12:16:10 +0000 (08:16 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 4 Jul 2017 12:16:10 +0000 (08:16 -0400)

No differences found