Skip to content

netlogo: update URLs#248034

Merged
bevanjkay merged 1 commit intomainfrom
netlogo-update-urls
Feb 6, 2026
Merged

netlogo: update URLs#248034
bevanjkay merged 1 commit intomainfrom
netlogo-update-urls

Conversation

@p-linnane
Copy link
Member

The old URL redirects to this new one.

Fixes #247809.

Signed-off-by: Patrick Linnane <patrick@linnane.io>
@p-linnane p-linnane mentioned this pull request Feb 6, 2026
6 tasks
@bevanjkay bevanjkay enabled auto-merge February 6, 2026 03:19
@bevanjkay bevanjkay added this pull request to the merge queue Feb 6, 2026
Merged via the queue into main with commit d046824 Feb 6, 2026
19 checks passed
@bevanjkay bevanjkay deleted the netlogo-update-urls branch February 6, 2026 03:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

netlogo cask does not install

2 participants