'new release: gatb-core bin 1.4.2 on 2020-04-12/23:45:08 for Linux by gatb-ci'
This tag has no release notes.