django2.2: some migrations to make django happy

core/migrations/0033_auto_20191006_0049.py

@@ -0,0 +1,27 @@
+# Generated by Django 2.2.6 on 2019-10-05 22:49
+
+import django.contrib.auth.models
+from django.db import migrations
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [("core", "0032_auto_20190909_0043")]
+
+    operations = [
+        migrations.AlterModelOptions(
+            name="page",
+            options={
+                "permissions": (
+                    (
+                        "change_prop_page",
+                        "Can change the page's properties (groups, ...)",
+                    ),
+                )
+            },
+        ),
+        migrations.AlterModelManagers(
+            name="group",
+            managers=[("objects", django.contrib.auth.models.GroupManager())],
+        ),
+    ]

election/migrations/0004_auto_20191006_0049.py

@@ -0,0 +1,18 @@
+# Generated by Django 2.2.6 on 2019-10-05 22:49
+
+from django.db import migrations, models
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [("election", "0003_auto_20171202_1819")]
+
+    operations = [
+        migrations.AlterField(
+            model_name="role",
+            name="order",
+            field=models.PositiveIntegerField(
+                db_index=True, editable=False, verbose_name="order"
+            ),
+        )
+    ]