On 2017-12-14 09:06, Henrik B A wrote: > Would you consider creating a permanent & updated mirror of > libdevcomputer > on GitHub? I like browsing the source code in a browser, and GitHub is > such a good tool for doing that. https://github.com/libdivecomputer/libdivecomputer Jef