Re: [Getfem-commits] Happy New Year 2020

2020-01-03 Thread Tetsuo Koyama
Dear Kostas Thank you for your explanation. BR Tetsuo 2020年1月3日(金) 18:09 Konstantinos Poulios : > > Dear Tetsuo, > > Nice that you have found one more mistake. > > Actually I don't think that we have a policy for updating headers. I think > Yves did it before making a new release, which is

Re: [Getfem-commits] Happy New Year 2020

2020-01-03 Thread Konstantinos Poulios via Getfem-commits
Dear Tetsuo, Nice that you have found one more mistake. Actually I don't think that we have a policy for updating headers. I think Yves did it before making a new release, which is also a good option. If we are to make a policy for this I would suggest: - Update headers before a release - Update