[Bug-readline] readline.h should declare FILE, presumably by including

[Dean Sturtevant]

readline.h uses FILE* without declaring it. This requires clients to
include <stdio.h> before readline.h.

_______________________________________________
Bug-readline mailing list
Bug-readline@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-readline