[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch fix/bug-21072 deleted (was aa779b0f15)
From: |
Lars Ingebrigtsen |
Subject: |
branch fix/bug-21072 deleted (was aa779b0f15) |
Date: |
Sun, 30 Jan 2022 12:50:38 -0500 (EST) |
larsi pushed a change to branch fix/bug-21072.
was aa779b0f15 Modify `beginning-of-defun-comments'
The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch fix/bug-21072 deleted (was aa779b0f15),
Lars Ingebrigtsen <=