///: BEGIN:ONLY_INCLUDE_IN(flask)

// The time after which a notification should be deleted.
export const NOTIFICATIONS_EXPIRATION_DELAY = 10000;

///: END:ONLY_INCLUDE_IN