wala / ML

Eclipse Public License 2.0
23 stars 17 forks source link

Miscellaneous fixes #143

Closed khatchad closed 5 months ago

khatchad commented 5 months ago

Some refactorings, log level changes, and javadoc fixes.

msridhar commented 5 months ago

@khatchad I would go ahead and merge the master branch into this PR to allow for landing but it seems I do not have permissions

khatchad commented 5 months ago

@msridhar I think we are hitting this: https://github.com/orgs/community/discussions/5634. I gave you edit permissions on the fork. Hopefully that will work.