summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorThomas Refis <thomas.refis@gmail.com>2019-08-13 15:11:16 +0100
committerThomas Refis <thomas.refis@gmail.com>2019-09-11 14:21:05 -0400
commit50695d51c351a3c15530802eb5030d341602ff01 (patch)
tree10125338adbed60131a0e9854c5b92d85985da81 /Changes
parent83690293dcf942e14140a4841b1ff27a9b39ede0 (diff)
downloadocaml-pr8934.tar.gz
PR#8934: used as a base for other PRspr8934
Diffstat (limited to 'Changes')
-rw-r--r--Changes3
1 files changed, 3 insertions, 0 deletions
diff --git a/Changes b/Changes
index 6b65274498..6c1ebb4ece 100644
--- a/Changes
+++ b/Changes
@@ -74,6 +74,9 @@ Working version
"*").
(Thomas Refis, review by ...)
+- #8934: Stop relying on location to track usage
+ (Thomas Refis, review by ...)
+
### Code generation and optimizations:
- #8672: Optimise Switch code generation on booleans.