[master] AUTHORS, ChangeLog updated after github43 merge.

diff --git a/AUTHORS b/AUTHORS
index f41e7c85408f528340df2d251c5996b29e0a281c..8c67d24c6ff9d5c2f4c813090dea4a19d75f32f8 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -106,7 +106,7 @@ We have received the following contributions:
    2016-05: Added support for Cassandra
    2017-12: Significant update for Cassandra backend
    2018-01: Host reservations for Cassandra
-   2018-01: Various changes
+   2018-01: Various changes (github 54)
 
  - Patrik Lundin
    2016-07: Replace test by expr for < in configure.ac
@@ -134,7 +134,7 @@ We have received the following contributions:
    2017-12: Significant update for Cassandra backend
    2018-01: Host reservations for Cassandra
    2018-01: Uniform compilation
-   2018-01: Various changes
+   2018-01: Various changes (github 54,43)
 
  - Vincent Legout
    2016-11: Fixed serveral spelling mistakes

diff --git a/ChangeLog b/ChangeLog
index 54402b873b678eee058fe37c96e904e80a2c94b5..d67daf633e4493d630868cd90e2d3a3997777c10 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+1352.  [build]         andrei
+       Support for coverage tests has been improved.
+       (Github #43, git 1949bb3abf71fb3997044d239eb683095166c39f)
+
 1351.  [build,bug]     andrei, razvan
        Various small changes and bugfixes. Thank you to Andrei Pavel
        and Razvan Becheriu for submitting their patch.