On Mon, Jan 18, 2021 at 10:04 AM Jed Brown <[email protected]> wrote:
> Mark Adams <[email protected]> writes: > > > BTW, how do you get that URL? I searched commits for it and did not find > it. > > I just type the URL or have Emacs construct it. > Gitlab has had a request to make it work in the Search box for months. I +1'd it. I am not sure where they put their time. Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener https://www.cse.buffalo.edu/~knepley/ <http://www.cse.buffalo.edu/~knepley/>
