From 1b43a7cb6969f0c7a5f6aabda8623e711b44623a Mon Sep 17 00:00:00 2001
From: "J.-S. Caux" <J.S.Caux@uva.nl>
Date: Sat, 10 Nov 2018 06:38:57 +0100
Subject: [PATCH] Add missing Profiles migration

---
 .../migrations/0014_auto_20181110_0637.py     | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 profiles/migrations/0014_auto_20181110_0637.py

diff --git a/profiles/migrations/0014_auto_20181110_0637.py b/profiles/migrations/0014_auto_20181110_0637.py
new file mode 100644
index 000000000..7d3d07cb2
--- /dev/null
+++ b/profiles/migrations/0014_auto_20181110_0637.py
@@ -0,0 +1,19 @@
+# -*- coding: utf-8 -*-
+# Generated by Django 1.11.4 on 2018-11-10 05:37
+from __future__ import unicode_literals
+
+from django.db import migrations
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ('profiles', '0013_profilenonduplicates'),
+    ]
+
+    operations = [
+        migrations.AlterModelOptions(
+            name='profilenonduplicates',
+            options={'verbose_name': 'Profile non-duplicates', 'verbose_name_plural': 'Profile non-duplicates'},
+        ),
+    ]
-- 
GitLab