On Tue, Jun 21, 2016 at 10:25:41AM +0200, Lukas Slebodnik wrote:
It looks like there is an agreement that we needn't change
anything in
libini_config for this use-case. So I will focus on other ding-libs patches.
BTW I need to update manual pages to reflect this change.
Please file a ticket about the mtime changes so that we don't forget.