Docs for #2079

[Bnaya]

Docs for #2079

[danielkcz]

Ok, I think it's good enough docs, but let's wait how the actual code turns out to be before merging.

[mweststrate]

I think it would be great if section 4.6 and/or 8.4 could be extended, hinting how these features could be used to detect mistakes

[Bnaya]

Merge it after release?

[Bnaya]

I don't see it in the docs site,
What's the status of gh-pages publishing?

[mweststrate]

Sorry, only just published, as I need my old laptop for that :) (until new docs are done)

…

On Wed, Oct 2, 2019 at 9:29 PM Bnaya Peretz ***@***.***> wrote: I don't see it in the docs site, What's the status of gh-pages publishing? — You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub <#2082?email_source=notifications&email_token=AAN4NBE2KUZ3GDHCTQ2KIFLQMUADFA5CNFSM4INATCZKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEAGCJHY#issuecomment-537666719>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAN4NBGTRM4TNFYOHL2NB6DQMUADFANCNFSM4INATCZA> .