Skip to content

A couple of fixes#11

Open
mootari wants to merge 10 commits intoldodds:mainfrom
mootari:mootari/fix-typos
Open

A couple of fixes#11
mootari wants to merge 10 commits intoldodds:mainfrom
mootari:mootari/fix-typos

Conversation

@mootari
Copy link
Copy Markdown

@mootari mootari commented Mar 27, 2025

Please feel free to edit or ignore as you see fit. 🙏🏻

A couple of notes:


```
area["name"="Uluru-Kata Tjuta National Park"]->.ourArea;
area["name"="Uluṟu-Kata Tjuṯa National Park"]->.ourArea;
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Already in #9, catching it in more places.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Although #9 stays unmerged already for 1 year...

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll find time soon to get these fixes merged and deployed, thanks for the nudge.

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@ldodds: Great, thanks. I always (well, once a year) share your project with our students so it's nice to hear it's not dead.

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.

3 participants