Re: [PATCH] Fix typo: s/Curiosty Rover/Curiosity Rover/

["Paul E. McKenney" <paulmck@linux.vnet.ibm.com>]

On Wed, Dec 13, 2017 at 11:16:27AM +0900, SeongJae Park wrote:
> Signed-off-by: SeongJae Park <sj38.park@gmail.com>

Good eyes!  Applied and pushed, thank you!

							Thanx, Paul

> ---
>  formal/regression.tex | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/formal/regression.tex b/formal/regression.tex
> index 4e06cb7..4e8476d 100644
> --- a/formal/regression.tex
> +++ b/formal/regression.tex
> @@ -584,6 +584,6 @@ Just because many of them are poor fit for regression testing does
>  not at all mean that they are useless, in fact,
>  many of them have proven their worth many times over.\footnote{
>  	For but one example, Promela was used to verify the file system
> -	of none other than the Curiosty Rover.
> +	of none other than the Curiosity Rover.
>  	Was \emph{your} formal verification tool used on a Mars rover?}
>  Just not for regression testing.
> -- 
> 2.10.0
> 
> --
> To unsubscribe from this list: send the line "unsubscribe perfbook" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
>