On Wed, 2016-03-16 at 09:46 -0500, Chong Li wrote: > On Wed, Mar 16, 2016 at 3:23 AM, Dario Faggioli > wrote: > >  > > I continue to think that it could be useful to have this logged, > > but > > I'm leaning toward just killing it for now (and maybe finding > > another > > way to check and warn about the same thing or one of the effects it > > produces, later). > > > By "killing it", do you mean we don't do this check nor print the > warning? Or just > print the warning globally once? > Remove the warning (and, of course, the check as well! :-)). Dario -- <> (Raistlin Majere) ----------------------------------------------------------------- Dario Faggioli, Ph.D, http://about.me/dario.faggioli Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)