texstudio (4.7.2-0~202312191821~ubuntu18.04.1) bionic; urgency=low * Auto build. -- <email address hidden> (J. Sundermeyer) Sun, 24 Dec 2023 16:30:57 +0000