-
Notifications
You must be signed in to change notification settings - Fork 7
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.
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
1917 por g sublibrary location #1918
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Wow, that was quick :) Thank you very much!
However, this change doesn't seem to be covered by test examples (no new hasItem.seeAlso
in d3ec19c). 990366624790206441 would be such an example.
80873de
to
3e76368
Compare
Now with updated libraryCode map and the suggested testfile. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
👍
Will be deployed next Monday. |
Related to #1917
This PR does four things:
POR $g
ITM
,HOL
+H52
andPOR