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