mirror of
https://github.com/openocd-org/openocd.git
synced 2025-06-23 07:32:20 +08:00

Leading zeros for the serial number are not necessary anymore. Signed-off-by: Marc Schink <openocd-dev@marcschink.de> Change-Id: Ie4ff47b9cda7ccf314c6fda9a2784947db5ee4d9 Reviewed-on: http://openocd.zylin.com/3401 Tested-by: jenkins Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>