Re: [PATCH] Renaming non-X x_* identifiers

[Eli Zaretskii]

> From: Alex Gramiak <address@hidden>
> Cc: address@hidden,  address@hidden
> Date: Tue, 16 Apr 2019 11:07:53 -0600
> 
> I'm referring to the commits named "Rename non-X x_* identifiers"* in
> scratch/x_emacs. Specifically commits 09fd8e70a0 and e7c3d39925. I left
> the two commits separated until now since I wasn't sure whether a single
> larger patch would be preferred/accepted.

It's entirely up to you how you merge the branch onto master, as long
as you make sure to accompany that with a suitable log message which
mentions the changes.