texstudio (2.12.22-0~202001151910~ubuntu19.04.1) disco; urgency=low * Auto build. -- <email address hidden> (J. Sundermeyer) Sat, 18 Jan 2020 10:11:01 +0000