From a012ad35329471410f7dd0d026f0b0dd18f0d67c Mon Sep 17 00:00:00 2001
From: Jonas Platte <jplatte+git@posteo.de>
Date: Thu, 3 Sep 2020 21:23:06 +0200
Subject: [PATCH] client-api: Update include_leave in RoomFilter from
 Option<bool> to bool

---
 ruma-client-api/src/r0/filter.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ruma-client-api/src/r0/filter.rs b/ruma-client-api/src/r0/filter.rs
index c1de1764..378e91ef 100644
--- a/ruma-client-api/src/r0/filter.rs
+++ b/ruma-client-api/src/r0/filter.rs
@@ -100,9 +100,9 @@ impl<'a> RoomEventFilter<'a> {
 pub struct RoomFilter<'a> {
     /// Include rooms that the user has left in the sync.
     ///
-    /// Defaults to false if not included.
-    #[serde(skip_serializing_if = "Option::is_none")]
-    pub include_leave: Option<bool>,
+    /// Defaults to `false`.
+    #[serde(default, skip_serializing_if = "ruma_serde::is_default")]
+    pub include_leave: bool,
 
     /// The per user account data to include for rooms.
     #[serde(skip_serializing_if = "Option::is_none")]