Diff
Not logged in

Differences From Artifact [03382d67f0]:

To Artifact [ff6cf4129a]:


44
45
46
47
48
49
50
51
52
53
      } while (qq == 0);
   }
   return x;
}

#endif

/* $Source$ */
/* $Revision$ */
/* $Date$ */







|
|
|
44
45
46
47
48
49
50
51
52
53
      } while (qq == 0);
   }
   return x;
}

#endif

/* ref:         HEAD -> release/1.0.1, tag: v1.0.1-rc2 */
/* git commit:  e8c27ba7df0efb90708029115c94d681dfa7812f */
/* commit time: 2017-08-29 10:48:46 +0200 */