Update symbols
Releasing 0.18.3+13.10.20130807-0ubuntu1, based on r112
Releasing 0.18.3+13.10.20130807-0ubuntu1 (revision 112 from lp:platform-api).

Approved by PS Jenkins bot.