From: Øyvind Harboe Date: Fri, 1 Apr 2011 11:02:24 +0000 (+0200) Subject: Merge remote branch 'origin/master' into HEAD X-Git-Tag: v0.5.0-rc1~113 X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=3b7c9585db2dd49b48123d50e9e8af7bc527be52 Merge remote branch 'origin/master' into HEAD --- 3b7c9585db2dd49b48123d50e9e8af7bc527be52