mathlib/lean version

Stream: new members

[Scott Olson]

The mathlib instructions at https://github.com/leanprover/mathlib/blob/master/docs/elan.md#scenario-1-start-a-new-package suggest using the version in the mathlib leanpkg.toml, expecting it to be a nightly, but it's actually the stable 3.4.1 now, which means leanpkg downloads the lean-3.4.1 branch instead of master.

What's the right way to use mathlib master?

[Scott Olson]

For now I've just specified the latest nightly, but I'm not sure if I'm supposed to be tracking along with mathlib as suggested by those docs somehow

[Scott Morrison]

Ugh, we really need to fix this issue! There was some discussion a few days ago.