diff options
| author | Stefan Hajnoczi <stefanha@redhat.com> | 2017-05-12 10:39:32 -0400 |
|---|---|---|
| committer | Stefan Hajnoczi <stefanha@redhat.com> | 2017-05-12 10:39:35 -0400 |
| commit | 3a8760664d5c1a1a93c9012bdb8ac07ab8fd4b0d (patch) | |
| tree | d007aee1e6c5db9039a9fbde3343939b2e6596a1 /docs/aio_notify_accept.promela | |
| parent | b54933eed532b10c8a1967d9f988262ccbb94ee2 (diff) | |
| parent | 5651743c908d8c3b1ff0192ce9543a502ec7a206 (diff) | |
Merge tag 'tracing-pull-request' into staging
# gpg: Signature made Fri 12 May 2017 10:38:07 AM EDT
# gpg: using RSA key 0x9CA4ABB381AB73C8
# gpg: Good signature from "Stefan Hajnoczi <stefanha@redhat.com>"
# gpg: aka "Stefan Hajnoczi <stefanha@gmail.com>"
# Primary key fingerprint: 8695 A8BF D3F9 7CDA AC35 775A 9CA4 ABB3 81AB 73C8
* tag 'tracing-pull-request':
trace: add sanity check
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Diffstat (limited to 'docs/aio_notify_accept.promela')
0 files changed, 0 insertions, 0 deletions