Code

Merge pull request #644 from manuelluis/mlsr/putnotif-fix_time
authorPierre-Yves Ritschard <pyr@spootnik.org>
Sat, 26 Jul 2014 07:36:56 +0000 (09:36 +0200)
committerPierre-Yves Ritschard <pyr@spootnik.org>
Sat, 26 Jul 2014 07:36:56 +0000 (09:36 +0200)
Fix the conversion of time option in PUTNOTIF from timestamp to cdtime_t


Trivial merge