Before revision: Linux is provided under the GNU General Public License version 2 although it contains files under other compatible licenses.
After revision: ,Linux is provided under the GNU General Public License version 2 although it contains files under other compatible licenses.