From: Øyvind Harboe <oyvind.harboe@zylin.com>
Date: Fri, 1 Apr 2011 11:02:24 +0000 (+0200)
Subject: Merge remote branch 'origin/master' into HEAD
X-Git-Url: https://git.gag.com/?p=fw%2Fopenocd;a=commitdiff_plain;h=3b7c9585db2dd49b48123d50e9e8af7bc527be52

Merge remote branch 'origin/master' into HEAD
---

3b7c9585db2dd49b48123d50e9e8af7bc527be52