Post #2705908

@mcjevans@hachyderm.io Of course it depends on time of day, and who drinks the coffee coming out of the pot. If it is likely that another consumer will be along shortly, then make another pot!