K 10 svn:author V 6 davide K 8 svn:date V 27 2013-02-28T17:10:30.232232Z K 7 svn:log V 170 Move the definition of sbintime_t type from to . With this change we prevent gross namespace pollution. Reported by: bde Suggested by: attilio END