;;; Published patches for Gigamos / LMI System version 130.