Processing commands for [email protected]: > close 931657 2.12.16+debian-1 Bug #931657 [src:texstudio] new upstream (2.12.16) Marked as fixed in versions texstudio/2.12.16+debian-1. Bug #931657 [src:texstudio] new upstream (2.12.16) Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 931657: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=931657 Debian Bug Tracking System Contact [email protected] with problems
