Skip to content
r11.0: the last commit for 11.0 release on trunk

This tag is added for git describe to generate version numbers like
r11.0-1, r11.0-2, ...