Re: Ping: [PATCH] update-copyright.py: Add filters for D language sources

2018-11-26 Thread Jakub Jelinek
On Mon, Nov 26, 2018 at 10:32:40PM +0100, Iain Buclaw wrote: > Hi, > > This adds filters for upstream dmd, druntime, and phobos libraries, so > that the update-copyright script doesn't complain or try to update the > copyright years for those files. > > OK for trunk? > -- > Iain > > --- >

Ping: [PATCH] update-copyright.py: Add filters for D language sources

2018-11-26 Thread Iain Buclaw
Hi, This adds filters for upstream dmd, druntime, and phobos libraries, so that the update-copyright script doesn't complain or try to update the copyright years for those files. OK for trunk? -- Iain --- contrib/ChangeLog: 2018-11-13 Iain Buclaw * update-copyright.py