From d27832374d6d62c1f93b105ed67951d6b60f58df Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <ste.pigozzi@gmail.com>
Date: Tue, 8 Jan 2019 15:55:33 +0100
Subject: [PATCH] Add the mini to profiles

---
 templates/profile.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/templates/profile.html b/templates/profile.html
index 3541b844..e2b1aa31 100644
--- a/templates/profile.html
+++ b/templates/profile.html
@@ -79,6 +79,11 @@
                         {% include "minis/ow.html" %}
                     {% endwith %}
                 {% endif %}
+                {% if terraria13 %}
+                    {% with record = terraria13 %}
+                        {% include "minis/terraria13.html" %}
+                    {% endwith %}
+                {% endif %}
             </div>
         </div>
     </div>