wok diff locale-el/receipt @ rev 22805

updated gawk (4.2.1 -> 5.0.1)
author: Hans-G?nter Theisgen
date: Tue Jan 28 10:03:39 2020 +0100 (2020-01-28)
parents: a52ffca61a1d
     1.1 --- a/locale-el/receipt	Mon Mar 25 20:50:34 2019 +0100
     1.2 +++ b/locale-el/receipt	Tue Jan 28 10:03:39 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  }