On 8/16/05, Andreas Mohr <[EMAIL PROTECTED]> wrote: > Hi, > > On Tue, Aug 16, 2005 at 06:17:27PM +0200, Francois Gouget wrote: > > Actually 'dereference' is correct here, although I have no doubt that it > > is not in any dictionary. > Huh, why? > > http://dictionary.reference.com/search?q=dereference > > But OTOH it does mention "well established in jargon", so you might have > a point here.
Francois what is your preference here? You do allot more spell checking than I do, so we will go with 'dereference' if you fell its suitable. Tom > > Andreas > >
