Merge branch 'maint'
[platform/upstream/isl.git] / doc / SubmittingPatches
2011-07-10 Sven Verdoolaegeadd doc/SubmittingPatches