Merge "Remove now obsolete placeholder"

This commit is contained in:
Jenkins 2015-11-10 18:33:39 +00:00 committed by Gerrit Code Review
commit e59a222b85
1 changed files with 0 additions and 0 deletions