# HG changeset patch
# User nemo
# Date 1555084055 14400
# Node ID 9de13d9a6312c4766b2cddfadddc60810031d245
# Parent  38e66519e5851064a9fc53d23e8cf2d33c27d2ad
I was out of date again...

diff -r 38e66519e585 -r 9de13d9a6312 rust/hedgewars-server/src/main.rs
--- a/rust/hedgewars-server/src/main.rs	Fri Apr 12 11:41:35 2019 -0400
+++ b/rust/hedgewars-server/src/main.rs	Fri Apr 12 11:47:35 2019 -0400
@@ -1,4 +1,3 @@
-#![feature(self_struct_ctor)] 
 #![allow(unused_imports)]
 #![deny(bare_trait_objects)]