On Friday October 21 2016 17:05:22 Sven Brauch wrote: > On 21/10/16 14:43, René J.V. Bertin wrote: > > the dependency error is new, and shouldn't be printed (even if it were true). > Why would you not print it if it were true? If the plugin is disabled? R.