Fixed a bug: the element mod_time from global_preferences was lost.
Fixed a bug: the element mod_time from global_preferences was lost.

Arturo Pacheco from CIP pointed out this bug. Now it has been fixed.

teleyinex/jarifa,teleyinex/jarifa