That's why I'm not so keen on uploading a RC again, given the grief that caused the last one. Maybe we can just patch 3.2.0 and then wait for the 3.2.1,
If you mean real 3.2.0 as opposed to the current 3.2.0rc, that could be a good compromise: it has soname 100 (so no need for binNMUs when 3.2.1 comes out) and avoids the need to patch libcitygml (as the bug in that is that it doesn't understand ~rc version numbers).