# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
Copyright (c) 2008-2013 Board of Trustees, Princeton University
-Copyright (c) 2010-2013 INRIA, Institut National d'Informatique et Automatique
+Copyright (c) 2010-2014 INRIA, Institut National d'Informatique et Automatique
Permission is hereby granted, free of charge, to any person obtaining
a copy of this software and/or hardware specification (the “Work”) to