Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Update to latest WALA, fix update site URL #6

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Update to latest WALA, fix update site URL #6

wants to merge 4 commits into from

Commits on Mar 24, 2020

  1. Fix update site URL. 

    Point it to the mainline.
    @khatchad
    khatchad authored Mar 24, 2020
    Configuration menu
    Copy the full SHA
    25c18f0 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2020

  1. Try to make it work with the latest WALA. 

    Matching wala/WALA@fe68d02.
    @khatchad
    khatchad committed Apr 14, 2020
    Configuration menu
    Copy the full SHA
    7241196 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2020

  1. Make SAFE work with latest WALA. 

    Matching wala/WALA@fe68d02.
    @khatchad
    khatchad committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    50fdcbe View commit details
    Browse the repository at this point in the history

  2. Merge pull request #2 from ponder-lab/update_wala 

    Make SAFE work with latest WALA.
    @khatchad
    khatchad authored Apr 16, 2020
    Configuration menu
    Copy the full SHA
    fb9526a View commit details
    Browse the repository at this point in the history