Re: [Eas-dev] [PATCH 3/3] ignore_this_patch: Fixing compilation error on Peter's tree