You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
But it seems to as of #114. Should fixing this be stuck into some other PR coming up soon (there will be a bunch of them to prepare for Delft project), done as a hot-edit to main in github.com, or be its own ordinary standalone documentation-only PR? Any of the above is OK with me, given that it just consists of removing one parenthetical remark.
The text was updated successfully, but these errors were encountered:
But it seems to as of #114. Should fixing this be stuck into some other PR coming up soon (there will be a bunch of them to prepare for Delft project), done as a hot-edit to main in github.com, or be its own ordinary standalone documentation-only PR? Any of the above is OK with me, given that it just consists of removing one parenthetical remark.
The text was updated successfully, but these errors were encountered: