From: David Wells Date: Mon, 23 Nov 2015 15:11:13 +0000 (-0500) Subject: Merge pull request #1899 from bangerth/use-american-english X-Git-Tag: v8.4.0-rc2~208 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a6e373534ee6ae941ddbfd5415401152e8ea420;p=dealii.git Merge pull request #1899 from bangerth/use-american-english Use American English spelling of "signaling". --- 5a6e373534ee6ae941ddbfd5415401152e8ea420