wok-current diff locale-id/receipt @ rev 23278

updated pari and pari-dev (2.11.2 -> 2.11.3)
author: Hans-G?nter Theisgen
date: Sat Mar 28 16:53:31 2020 +0100 (2020-03-28)
parents: a52ffca61a1d
children: 5926178cd6fa
     1.1 --- a/locale-id/receipt	Mon Mar 25 20:50:34 2019 +0100
     1.2 +++ b/locale-id/receipt	Sat Mar 28 16:53:31 2020 +0100
     1.3 @@ -29,6 +29,6 @@
     1.4  # Back to C if it's the last used locale.
     1.5  post_remove()
     1.6  {
     1.7 -	grep -q =$LOCALE /etc/locale.conf &&
     1.8 +	grep -qs =$LOCALE /etc/locale.conf &&
     1.9  	echo -e "LANG=C\nLC_ALL=C" > /etc/locale.conf
    1.10  }