On Tue, Jun 21, 2016 at 10:57:02AM +0200, Jakub Hrozek wrote:
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.