summaryrefslogtreecommitdiffstats
path: root/doc/source-highlight/HISTORY
diff options
context:
space:
mode:
authorFlorian Franzmann2019-10-03 12:59:52 +0200
committerFlorian Franzmann2019-10-04 23:13:58 +0200
commit026de4dab978f51d8c58ea63efa06441fbd38145 (patch)
treed6e84b30f19a1b786a3c54755f33b311f5705b20 /doc/source-highlight/HISTORY
parent8cd25b74c5c6671f86e7199c9059cd2e267eeab8 (diff)
doc/source-highlight: add trigger to check self on cast boost
Diffstat (limited to 'doc/source-highlight/HISTORY')
-rw-r--r--doc/source-highlight/HISTORY3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/source-highlight/HISTORY b/doc/source-highlight/HISTORY
index b783604bef..6bbb02f68e 100644
--- a/doc/source-highlight/HISTORY
+++ b/doc/source-highlight/HISTORY
@@ -1,3 +1,6 @@
+2019-10-03 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
+ * TRIGGERS: check self on cast boost
+
2019-06-02 Ismael Luceno <ismael@sourcemage.org>
* PRE_BUILD: Fixed build against musl