From 588e5b8fb774282fcc7e169d6f54534c07ce701e Mon Sep 17 00:00:00 2001
From: Zooko O'Whielacronx <zooko@zooko.com>
Date: Fri, 19 Nov 2010 23:16:34 -0800
Subject: [PATCH] docs: NEWS: add #1233

---
 NEWS | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/NEWS b/NEWS
index 29616b2a..05aa7dbf 100644
--- a/NEWS
+++ b/NEWS
@@ -31,6 +31,9 @@
  - Use a newer version of a dependency if needed, even if an older
    version is installed. This would previously cause a VersionConflict
    error. (#1190)
+ - Use a precompiled binary of a dependency if one with a sufficiently high
+   version number is available, instead of attempting to compile the dependency
+   from source, even if the source version has a higher version number . (#1233)
 
 ** Documentation
 
-- 
2.45.2