Ha! Indeed. This time, my IT infrastructure had a number of weird problems, so I had to be creative. I’ll keep in mind that this won’t work. Sorry!
> On Sonntag, Juni 25, 2023 at 10:27 AM, Omar Polo <o...@omarpolo.com > (mailto:o...@omarpolo.com)> wrote: > On 2023/06/25 01:55:34 +0200, tux0r <tu...@rosaelefanten.org> wrote: > > Nothing too special this time. Diff attached. > > the diff is mangled, it has spaces instead of tabs, and doesn't apply. > Not a big deal, applied by hand and committed, but something to keep > in mind for bigger diff -- maybe you copied it from tmux or xterm? > > > Thanks, > > Omar Polo
