From a9b29ee4a0ffa4878d67eaf518dbeed098844b9e Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 28 Sep 2022 00:29:09 -0700
Subject: Update from Gnulib by running admin/merge-gnulib

---
 lib/getrandom.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/getrandom.c')

diff --git a/lib/getrandom.c b/lib/getrandom.c
index e1468730933..c05a48167ed 100644
--- a/lib/getrandom.c
+++ b/lib/getrandom.c
@@ -23,7 +23,6 @@
 
 #include <errno.h>
 #include <fcntl.h>
-#include <stdbool.h>
 #include <unistd.h>
 
 #if defined _WIN32 && ! defined __CYGWIN__
-- 
cgit v1.2.3