Yesterday, after having installed on my RPi3B+ a new sd card with SM 1.5 in place of 1.4.6, I noticed that the system clock was no longer updated by the ds 3231 RTC. Thanks to Jasem, I could fix the problem.
I had to edit the /boot/config.txt file, go to # Hardware clock section and replace the existing line by "dtoverlay=i2c-rtc,ds3231" and then reboot. Since that, the system clock is updated when booting the Pi.
Jasem told me that this bug is now fixed in SM 1.5.
I found also that sometimes in Ekos/Kstars, some buttons in the INDI driver option tabs were inactive. In particular the save, load, default and purge ones, preventing me to save my new configuration. Today, I cannot reproduce this phenomena...