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 <op@omarpolo.com (mailto:op@omarpolo.com)> wrote:
> On 2023/06/25 01:55:34 +0200, tux0r <tux0r@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
No comments:
Post a Comment