From: John Darrington Date: Tue, 23 Jul 2013 20:05:18 +0000 (+0200) Subject: Change "variable_changed" to "variable-changed" in signal name X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=bcebdcd4f6c599d2c214fd3fa64d602f7df7be69;hp=bcebdcd4f6c599d2c214fd3fa64d602f7df7be69;p=pspp Change "variable_changed" to "variable-changed" in signal name This makes it consistent with usage elsewhere. ---