diff options
author | Florian Franzmann | 2019-10-03 12:59:52 +0200 |
---|---|---|
committer | Florian Franzmann | 2019-10-04 23:13:58 +0200 |
commit | 026de4dab978f51d8c58ea63efa06441fbd38145 (patch) | |
tree | d6e84b30f19a1b786a3c54755f33b311f5705b20 /doc/source-highlight/HISTORY | |
parent | 8cd25b74c5c6671f86e7199c9059cd2e267eeab8 (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/HISTORY | 3 |
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 |