Hi. I'm sorry for this late reply.
On Thu, 05 Apr 2012 09:14:16 +0900 "Shigio YAMAGUCHI" <[email protected]> wrote: 〆￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣ | > I think it is better that gtags-ignore-case's default value is 'nil'. | > Because it is compatible for previous release (before 6.0) of GLOBAL. | > Isn't it comfortable for many old users? | | Though I understand it, I would like to make its specification compatible | with 6.0. In fact, I had changed it according to the following procedure. | | Since there was no contrary to the RFC, it must be considered that | there was consent about it. I know that you had changed it according to the correct procedure. But I had overlooked the RFC, so I expressed my opinion. I'll leave it to you. Thank you. -- Yushi Oka <[email protected]> _______________________________________________ Bug-global mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-global
