On 06/08/2015 06:51 PM, Stefan Beller wrote:
On Mon, Jun 8, 2015 at 4:45 AM, Michael Haggerty [off-list ref] wrote:
quoted
This string is going to have to be re-internationalized anyway because
of the previous commit. So while we're at it, we might as well convert
it to lower case as per our usual practice.
Although the previous patch and this are addressing two slightly
different things,
we may want to squash this into the previous without dropping any of
the commit message?
(It might make reviewing easier, I'd assume)
OK, I will squash them together.
Michael
--
Michael Haggerty
mhagger@alum.mit.edu