texstudio (2.12.10-0~201807041908~ubuntu17.10.1) artful; urgency=low * Auto build. -- <email address hidden> (J. Sundermeyer) Fri, 06 Jul 2018 12:10:18 +0000