[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add new functions to mark/unmark/delete all bookmarks
From: |
Matthew White |
Subject: |
Re: Add new functions to mark/unmark/delete all bookmarks |
Date: |
Tue, 28 Jul 2020 18:36:18 +0200 |
On Tue, 28 Jul 2020 12:14:21 -0400
Stefan Monnier wrote:
> > I compiled and sent the module on the 2020-07-24, but I still got no
> > reply... I also checked the spam...
>
> [ Not sure what you mean by "compiled" and "module" since we're
> talking about human-processed text here. ]
>
Funny... ;) ...maybe it's the effect of writing code...
> Can you try sending a followup-email asking for the status of your
> request (and put me in Cc)?
>
>
> Stefan
>
Done,
Matthew
pgpL7Ay74Fx1f.pgp
Description: OpenPGP digital signature
- Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/23
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/23
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Lars Ingebrigtsen, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks,
Matthew White <=
- Re: Add new functions to mark/unmark/delete all bookmarks, Eli Zaretskii, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/28
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
Re: Add new functions to mark/unmark/delete all bookmarks, Yuri Khan, 2020/07/24