2018-10-25 07:54:37 +02:00
|
|
|
# Generated by Django 1.11.16 on 2018-12-05 14:50
|
|
|
|
|
|
|
|
|
|
from django.db import migrations, models
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class Migration(migrations.Migration):
|
|
|
|
|
|
|
|
|
|
dependencies = [
|
2021-02-12 08:20:45 +01:00
|
|
|
("zerver", "0194_userprofile_notification_sound"),
|
2018-10-25 07:54:37 +02:00
|
|
|
]
|
|
|
|
|
|
|
|
|
|
operations = [
|
|
|
|
|
migrations.AddField(
|
2021-02-12 08:20:45 +01:00
|
|
|
model_name="realm",
|
|
|
|
|
name="first_visible_message_id",
|
2018-10-25 07:54:37 +02:00
|
|
|
field=models.IntegerField(default=0),
|
|
|
|
|
),
|
|
|
|
|
]
|
