Bug#859005: Bug#859001: Let's remove BrowserLauncher from Stretch

[Emmanuel Bourg]

Le 30/03/2017 à 14:21, Ole Streicher a écrit :

> IMO that makes the BrowserLauncher package *really* obsolete here.

I agree, BrowserLauncher was interesting before Java 6, but the Desktop
API is good enough for most usages now.

Emmanuel Bourg