Sevilla 18.3.2 is available

[2019-10-23] Sevilla 18.3.2 is available. This is a bugfix release. There is no new functionality. Download can be done from here.