# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1621375301 -7200
# Node ID 6da4828f7c626909fb8e709de578eb3214824f31
# Parent  8deb4323f6122a15f68209cf610cd5ac3b511704
Removed superfluous includes.

diff -r 8deb4323f612 -r 6da4828f7c62 libfsserver/lib/pipes/pipe_opener_resource.cc
--- a/libfsserver/lib/pipes/pipe_opener_resource.cc	Tue May 18 23:58:19 2021 +0200
+++ b/libfsserver/lib/pipes/pipe_opener_resource.cc	Wed May 19 00:01:41 2021 +0200
@@ -19,8 +19,6 @@
  * Boston, MA  02110-1301, USA
  */
 
-#include <mem/memory_incremental.h>
-
 #include "pipe_opener_resource.h"
 #include "pipe_opener_server.h"
 #include "pipe_pager.h"
diff -r 8deb4323f612 -r 6da4828f7c62 libfsserver/lib/pipes/pipe_paging.cc
--- a/libfsserver/lib/pipes/pipe_paging.cc	Tue May 18 23:58:19 2021 +0200
+++ b/libfsserver/lib/pipes/pipe_paging.cc	Wed May 19 00:01:41 2021 +0200
@@ -23,7 +23,6 @@
 
 #include <ipc/cap_alloc.h>
 #include <ipc/irq.h>
-#include <mem/memory_incremental.h>
 #include <mem/memory_preallocated.h>
 
 #include "page_queue_partitioned.h"