Kovid Goyal b53d756bc2 Shell integration: Fix bash integration not working when PROMPT_COMMAND is used to change the prompt variables ... Fixes #4476		2022-01-14 12:14:48 +05:30
..
kitty.bash	Shell integration: Fix bash integration not working when PROMPT_COMMAND is used to change the prompt variables	2022-01-14 12:14:48 +05:30