Go to file
2018-10-22 18:23:05 +02:00
debian * debian/design.md: Capitalize Patroni. 2018-10-22 18:23:05 +02:00