Unfortunately just changing the version number didn’t work. Here’s what I had to.
- rm Foo
- add /URL/to/github/repo/Foo.git
- dev Foo
After that my warnings went away. I guess I may have to do this any time I add a new standard library.
Unfortunately just changing the version number didn’t work. Here’s what I had to.
After that my warnings went away. I guess I may have to do this any time I add a new standard library.