Total public debt hits GH¢17.2 billion - Governor