On 06/07/13 16:34, Max wrote:
It does. Thanks for fixing. They aren't automatically sent to Pd-dev though.
thx. fixed.
And bugs are now called “tickets”.
is this a problem?
(to be precise: "bugs" are still called "bugs", but you find them under
the menu "tickets", where they live happily along "feature requests" and
"patches"; i cannot remember how this was before the upgrade; did we
have separate top-level menu entries for all different types of tickets?
in any case i haven't found a way to change that name)
fgmadrs
IOhannes
_______________________________________________
[email protected] mailing list
UNSUBSCRIBE and account-management ->
http://lists.puredata.info/listinfo/pd-list
