wok diff hal/receipt @ rev 23258

updated ode and ode-dev (0.16 -> 0.16.1)
author: Hans-G?nter Theisgen
date: Thu Mar 26 06:55:46 2020 +0100 (2020-03-26)
parents: 9e01bc6321ea
children: af8d823a3077
     1.1 --- a/hal/receipt	Sun Dec 20 15:13:45 2015 +0100
     1.2 +++ b/hal/receipt	Thu Mar 26 06:55:46 2020 +0100
     1.3 @@ -96,7 +96,7 @@
     1.4  
     1.5  pre_install()
     1.6  {
     1.7 -	# Go for echoing on configuration files if any haldeamon user
     1.8 +	# Go for echoing on configuration files if any haldaemon user
     1.9  	# was found.
    1.10  	if ! grep -q 'haldaemon' "$1/etc/passwd"; then
    1.11  		echo -n "Adding user: messagebus..."