From 777417b6162e2cbc8734efdfa10ec98166eb0a98 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Fri, 8 Dec 2023 16:20:06 +0100
Subject: [PATCH] docs: update history

---
 HISTORY.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/HISTORY.md b/HISTORY.md
index 5b5d46b0d..001d72a49 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,6 +3,8 @@
 
 # unpublished changes since 12.1.0
 
+- Feat: lazy evaluation of operators `and`, `or`, `&`, `|` (#3090, #3101, 
+  #2766). Thanks @smith120bh. 
 - Fix: #3096 embedded docs of eigs throwing an error.