2019-09-03 23:27:45 +02:00
|
|
|
# Generated by Django 1.11.25 on 2019-11-06 23:43
|
|
|
|
|
|
|
|
from django.db import migrations, models
|
|
|
|
|
|
|
|
|
|
|
|
class Migration(migrations.Migration):
|
|
|
|
|
|
|
|
dependencies = [
|
2021-02-12 08:20:45 +01:00
|
|
|
("zerver", "0252_realm_user_group_edit_policy"),
|
2019-09-03 23:27:45 +02:00
|
|
|
]
|
|
|
|
|
|
|
|
operations = [
|
|
|
|
migrations.AddField(
|
2021-02-12 08:20:45 +01:00
|
|
|
model_name="userprofile",
|
|
|
|
name="wildcard_mentions_notify",
|
2019-09-03 23:27:45 +02:00
|
|
|
field=models.BooleanField(default=True),
|
|
|
|
),
|
|
|
|
migrations.AddField(
|
2021-02-12 08:20:45 +01:00
|
|
|
model_name="subscription",
|
|
|
|
name="wildcard_mentions_notify",
|
2019-09-03 23:27:45 +02:00
|
|
|
field=models.NullBooleanField(default=None),
|
|
|
|
),
|
|
|
|
]
|