texstudio (3.1.2-0~202105130932~ubuntu20.10.1) groovy; urgency=low * Auto build. -- <email address hidden> (J. Sundermeyer) Thu, 13 May 2021 18:44:18 +0000