On 12/18/2017 10:04 AM, Andreas Tille wrote: > Hi Olivier, > > may be we should fix this bug by removing biomaj since we now have > biomaj3. What do you think? biomaj3 is the "replacement" of biomaj, but needs a migration to switch from biomaj to biomaj3, this is not transparent for the user. Don't know if it should be removed. biomaj is however not maintained anymore, so why not....
Olivier > Kind regards > > Andreas. > -- Olivier Sallou Univ Rennes, Inria, CNRS, IRISA Irisa, Campus de Beaulieu F-35042 RENNES - FRANCE Tel: 02.99.84.71.95 gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438
