[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: |
Mon, 02 Apr 2018 12:06:37 -0000 |
** Tags added: pharo-api
--
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:
Confirmed
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