Re: [PATCH 0/2] Updated: Prefix "java-" for Java packages

2016-04-19 Thread Ricardo Wurmus
Hartmut Goebel writes: > As discussed on the mailinglist these day, these patches > introduce the prefix "java-" for Java packages. > > These are updated patches for those I send earlier these days. Issues when > building the manual should be fixed now. I also removed the last patch, which > add

[PATCH 0/2] Updated: Prefix "java-" for Java packages

2016-04-16 Thread Hartmut Goebel
As discussed on the mailinglist these day, these patches introduce the prefix "java-" for Java packages. These are updated patches for those I send earlier these days. Issues when building the manual should be fixed now. I also removed the last patch, which added aliases for the old names, and whi