texstudio (2.12.16-0~201905181623~ubuntu18.10.1) cosmic; urgency=low * Auto build. -- <email address hidden> (J. Sundermeyer) Sun, 19 May 2019 10:42:10 +0000