Preparing for Melodic sync 2019-01-17

mmoll January 18, 2019, 9:03pm 4

I released 1.4.2 which contains this fix and a few other minor bug fixes.

Topic		Replies	Views
Preparing for Melodic sync 2022-10-26 Melodic	1	350	October 31, 2022
Preparing for Melodic sync 2019-03-25 Melodic	1	679	March 29, 2019
Preparing for Melodic sync 2018-09-04 Melodic	0	544	August 31, 2018
Preparing for Melodic sync 2018-12-18 Melodic	1	727	December 28, 2018
Preparing for Melodic sync 2020-02-26 Melodic	3	574	March 6, 2020