On 10/12/2015 07:25 AM, Peter Maydell wrote:
> On 9 October 2015 at 16:14, Markus Armbruster wrote:
>> The following changes since commit b37686f7e84b22cfaf7fd01ac5133f2617cc3027:
>>
>> Merge remote-tracking branch 'remotes/stefanha/tags/tracing-pull-request'
>> into staging (2015-10-09 12:18:1
On 12 October 2015 at 14:25, Peter Maydell wrote:
> On 9 October 2015 at 16:14, Markus Armbruster wrote:
>> The following changes since commit b37686f7e84b22cfaf7fd01ac5133f2617cc3027:
>>
>> Merge remote-tracking branch 'remotes/stefanha/tags/tracing-pull-request'
>> into staging (2015-10-09 1
On 9 October 2015 at 16:14, Markus Armbruster wrote:
> The following changes since commit b37686f7e84b22cfaf7fd01ac5133f2617cc3027:
>
> Merge remote-tracking branch 'remotes/stefanha/tags/tracing-pull-request'
> into staging (2015-10-09 12:18:14 +0100)
>
> are available in the git repository at