On Wed, Feb 05, 2020 at 12:29:21PM +0000, Laurent Fasnacht wrote: > Hello, > > I'd like to submit a small patch series to improve include > behaviour. It fixes bug #1243 for example. Thanks for addressing bugs. I'd suggest, let's start with making 1/3 and 2/3 fix the problem. Then following up with refinements is fine too. Thanks.