On 18/11/2020 08:21, Soumyadeep Chakraborty wrote:
On Tue, Nov 17, 2020 at 2:38 AM Heikki Linnakangas <hlinn...@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
