8 Jun
2013
8 Jun
'13
11:28 a.m.
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