From 9d869f1a82b9466a03a0088d6d270d9f0b0c5133 Mon Sep 17 00:00:00 2001
From: Lorenzo Caminiti <lorcaminiti@gmail.com>
Date: Wed, 4 Jul 2012 21:44:36 +0000
Subject: [PATCH] fixing broken doc links (capital letters in file names)

[SVN r79269]
---
 libs/scope_exit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/scope_exit b/libs/scope_exit
index 2a96d2234d..4a6712ee58 160000
--- a/libs/scope_exit
+++ b/libs/scope_exit
@@ -1 +1 @@
-Subproject commit 2a96d2234d6d7917278bb39196df93424b1739a4
+Subproject commit 4a6712ee584609524f43cf813aaddcc5922a9a62