Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Update logo URL in README #1342

Merged
merged 1 commit into from
Dec 5, 2023
Merged

Update logo URL in README #1342

merged 1 commit into from
Dec 5, 2023

Conversation

msridhar
Copy link
Member

@msridhar msridhar commented Dec 5, 2023

Fixes #1340. I recovered the logo from the Internet Archive! New URL is https://wala.github.io/logos/WALA-banner.png.

Fixes #1340.  I recovered the logo from the Internet Archive!
@msridhar msridhar requested a review from liblit December 5, 2023 18:20
@msridhar msridhar enabled auto-merge (squash) December 5, 2023 18:20
Copy link
Contributor

@liblit liblit left a comment

Choose a reason for hiding this comment

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

Thank you, @msridhar!

Copy link

github-actions bot commented Dec 5, 2023

Test Results

   455 files  +117     455 suites  +117   2h 34m 2s ⏱️ + 44m 10s
   731 tests ±    0     714 ✔️ ±    0  17 💤 ±  0  0 ±0 
2 808 runs  +731  2 738 ✔️ +714  70 💤 +17  0 ±0 

Results for commit 4e1387b. ± Comparison against base commit bbede74.

@msridhar msridhar merged commit 9fb344a into master Dec 5, 2023
@msridhar msridhar deleted the msridhar-patch-1 branch December 5, 2023 18:34
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

broken logo URL in top-level README
2 participants