]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #11893 from kraj/master
authorJafar Al-Gharaibeh <jafar@atcorp.com>
Thu, 1 Sep 2022 22:09:01 +0000 (17:09 -0500)
committerGitHub <noreply@github.com>
Thu, 1 Sep 2022 22:09:01 +0000 (17:09 -0500)
configure: Check for readline() function instead of main


Trivial merge