On 2025-Dec-04, Dave Page wrote:
> Thanks - I fixed one more minor styling issue (minimum height of the code
> boxes), and applied the no-sudo version.
Hmm, when I click the no-sudo button, a green checkmark appears. But
when I click the other one, the icon from the button disappears for a
few seconds. I suppose that's not intended.
--
Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
"People get annoyed when you try to debug them." (Larry Wall)