Synopsis: Update editors/texmaker: 1.8 to 3.1 State-Changed-From-To: open->closed State-Changed-By: wiz%NetBSD.org@localhost State-Changed-When: Thu, 10 Oct 2013 12:21:35 +0000 State-Changed-Why: Obsoleted by PR 48297