1. 2019-09-18 Re: [OpenOCD-devel] Merge request openocd-d Jan Matyáš 2. 2019-09-17 [OpenOCD-devel] Merge request openocd-d Marc Schink