|
From: | GNU bug tracker automated control server |
Subject: | Processed: Re: bug#61271: 30.0.50; gud makes source files un-editable |
Date: | Wed, 08 Mar 2023 15:13:02 -0500 |
Processing commands for control@debbugs.gnu.org: > merge 62041 61162 61271 bug#61162: 30.0.50; RET in source files that are being displayed by gud no longer works bug#61271: 30.0.50; gud makes source files un-editable bug#62041: 30.0.50; RET bound to `comint-send-input` in C-mode buffer Merged 61162 61271 62041. > thanks Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, https://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |