Updated to version 1.13.2

1 files changed, 23 insertions, 0 deletions

diff --git a/boost1_60.patch b/boost1_60.patch
new file mode 100644
index 000000000000..e2ff326bce4a
--- /dev/null
+++ b/boost1_60.patch
@@ -0,0 +1,23 @@
+From aa1ea043bbf52d509197eab91ab85c70e633d69e Mon Sep 17 00:00:00 2001
+From: Celtic Minstrel <celtic.minstrel.ca@some.place>
+Date: Fri, 25 Dec 2015 08:17:33 -0500
+Subject: [PATCH] Use boost::none instead of boost::none_t()
+
+Fixes bug 24227
+---
+ src/play_controller.hpp | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/play_controller.hpp b/src/play_controller.hpp
+index d5596b6..e289861 100644
+--- a/src/play_controller.hpp
++++ b/src/play_controller.hpp
+@@ -137,7 +137,7 @@ class play_controller : public controller_base, public events::observer, public
+ 		gamestate().end_level_data_ = data;
+ 	}
+ 	void reset_end_level_data() {
+-		gamestate().end_level_data_ = boost::none_t();
++		gamestate().end_level_data_ = boost::none;
+ 	}
+ 	bool is_regular_game_end() const {
+ 		return gamestate().end_level_data_.get_ptr() != NULL;