[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Dr. Geo] [Bug 1760595] Re: World menu>About error
|
From: |
hilaire |
|
Subject: |
[Dr. Geo] [Bug 1760595] Re: World menu>About error |
|
Date: |
Wed, 04 Apr 2018 07:51:33 -0000 |
** Changed in: drgeo
Status: Confirmed => Fix Committed
--
You received this bug notification because you are a member of DrGeo
developers, which is subscribed to Dr. Geo II.
Matching subscriptions: Dr. Geo bug report
https://bugs.launchpad.net/bugs/1760595
Title:
World menu>About error
Status in Dr. Geo II:
Fix Committed
Bug description:
Pragma error, likely upstream API change again!
To manage notifications about this bug go to:
https://bugs.launchpad.net/drgeo/+bug/1760595/+subscriptions