On Wed, Apr 19, 2017 at 8:47 AM, Akira Kakuto <kakuto at fuk.kindai.ac.jp> wrote: > Hi Luigi, > >> There may be related places which need changes. > > > Probably there are not other places which need changes. > > Best, > Akira > ok, I'm looking at it -- luigi