On Thu, Jan 17, 2013 at 8:04 AM, Diego Biurrun <diego at biurrun.de> wrote: > The new name is more descriptive and will allow defining a separate > public prefix for externally visible library symbols. Committed locally and to my github. Jason