[libgda: 2/2] Merge branch 'ddldoc' into 'master'

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit 7a995cdf0ef310a5bb1df9ea03dfa38a875d8b9c
Merge: a1e6c87e8 efb9a800b
Author: Daniel Espinosa Ortiz <esodan gmail com>
Date:   Tue Jul 17 02:43:45 2018 +0000

    Merge branch 'ddldoc' into 'master'
    
    Clean up after GdaTimeStamp
    
    See merge request GNOME/libgda!31

 doc/C/libgda-sections.txt                        | 12 +---
 doc/C/libgda.types.in                            |  1 -
 libgda-ui/data-entries/gdaui-entry-common-time.c |  2 +-
 libgda/gda-util.c                                | 12 ++--
 libgda/gda-util.h                                |  2 +
 libgda/gda-value.c                               | 82 +++++-------------------
 libgda/gda-value.h                               |  6 +-
 libgda/libgda.symbols                            |  1 -
 tests/providers/prov-test-common.c               |  2 +-
 tests/test-input-parsers.c                       | 28 ++++----
 10 files changed, 43 insertions(+), 105 deletions(-)
---