jakub-m/jakub-m.github.io

Typo in the Lamport article filename

Opened this issue · 0 comments

bobek commented

Filename reads laport-clocks-formal.html (missing m in the name of Leslie Lamport) :)