From 0e3ba1c60a8bd312d3477a9724bf71da3f681014 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= Date: Fri, 16 Nov 2018 11:53:42 +0100 Subject: [PATCH] Update Changes --- Changes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changes b/Changes index b2c279508ece..7fd903ed5d37 100644 --- a/Changes +++ b/Changes @@ -295,7 +295,7 @@ Working version - GPR#1974: Trigger warning 5 in "let _ = e" and "ignore e" if e is of function type and syntactically an application. (For the case of "ignore e" the warning already existed, but used to be triggered even when e was not an application.) - (Nicolás Ojeda Bär, review by Alain Frisch) + (Nicolás Ojeda Bär, review by Alain Frisch and Jacques Garrigue) ### Code generation and optimizations: