wok diff locale-id/receipt @ rev 22756

updated ffmpeg, ffmpeg-dev and ffplay (4.1.3 -> 4.2.2)
author: Hans-G?nter Theisgen
date: Fri Jan 24 16:20:17 2020 +0100 (2020-01-24)
parents: a52ffca61a1d
     1.1 --- a/locale-id/receipt	Mon Mar 25 20:50:34 2019 +0100
     1.2 +++ b/locale-id/receipt	Fri Jan 24 16:20:17 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  }