From 7ab4d4728286830f96da8d116c61046c1e4cf83a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 28 Feb 2012 12:58:09 +0000 Subject: [PATCH 1/1] In comment: Cleanup -> Post. This updates commit 0c9faf57f9239b0fe1c0b46353d222bb4cf5cd74. --- lib/whentools.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/whentools.mli b/lib/whentools.mli index f2cefb6..b5fa858 100644 --- a/lib/whentools.mli +++ b/lib/whentools.mli @@ -37,4 +37,4 @@ val set_variable_float : string -> float -> unit type result = Whenexpr.result val mailto : ?only_on_failure:bool -> ?from:string -> string -> result -> unit -(** Cleanup function to send mail. *) +(** Post function to send mail. *) -- 1.8.3.1