From f87b2b7f1a66cce1e52e6a74e9a7cbf7e2a5ea6e Mon Sep 17 00:00:00 2001
From: Build Server <build@sharpdevelop.net>
Date: Tue, 4 Feb 2014 00:08:25 +0100
Subject: [PATCH] Notes added by 'git notes add'

---
 13/471bd4a9fdbb55a71c3f7e20a780fcdb0fc04d | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 13/471bd4a9fdbb55a71c3f7e20a780fcdb0fc04d

diff --git a/13/471bd4a9fdbb55a71c3f7e20a780fcdb0fc04d b/13/471bd4a9fdbb55a71c3f7e20a780fcdb0fc04d
new file mode 100644
index 0000000000..e5f46cc11f
--- /dev/null
+++ b/13/471bd4a9fdbb55a71c3f7e20a780fcdb0fc04d
@@ -0,0 +1 @@
+Build 5.0.0.3802 on master successful