Zulip Chat Archive
Stream: general
Topic: spaces in paths
Reid Barton (Oct 12 2018 at 15:22):
@Scott Olson mind if I make a PR to your PR with the corresponding fixes for POSIX leanpkg?
Scott Olson (Oct 12 2018 at 15:23):
@Reid Barton go for it!
Last updated: Dec 20 2023 at 11:08 UTC