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
Almost all of the hard work has been done in #534 and #532. This would allow merging a non-breaking version of #532, enabling cool things like #563 and possibly other issues tagged with uses-more-storage (#616, #608 come to mind).
The only thing that needs to change is updating the documentation and still using TARGETS instead of only default-target if extra-targets is unset.
The text was updated successfully, but these errors were encountered:
Almost all of the hard work has been done in #534 and #532. This would allow merging a non-breaking version of #532, enabling cool things like #563 and possibly other issues tagged with
uses-more-storage
(#616, #608 come to mind).The only thing that needs to change is updating the documentation and still using
TARGETS
instead of onlydefault-target
ifextra-targets
is unset.The text was updated successfully, but these errors were encountered: