On Thu, Jun 04 2020 at 11:24 +01, Barak A. Pearlmutter wrote: > It sounds like djview-plugin should just be removed, since it supports > a now-dead plugin API. > > Any objections?
What about consulting this with Leon Bottou?
Janusz
--
,
Janusz S. Bien
emeryt (emeritus)
https://sites.google.com/view/jsbien
