On 18/11/2020 08:21, Soumyadeep Chakraborty wrote:
> On Tue, Nov 17, 2020 at 2:38 AM Heikki Linnakangas <hlinnaka@iki.fi> wrote:
>> Fixed all the other things you listed, fixed a bug in setting
>> 'file_encoding', and trimmed down the #includes.
>>
> Thanks! LGTM! Marking as Ready for Committer.
Pushed, thanks for the review!
- Heikki