[Koha] koha-US Board Meeting Minutes - Wednesday, October 4, 2023