Inconsistent dots length in table of contents

[lsorber]

An issue with microtype and the ToC:

http://tex.stackexchange.com/questions/172785/how-can-i-make-the-dots-in-a-toc-end-at-the-same-place

The proposed solution works fine, and should probably be incorporated into adsphd.

[wannesm]

Fixed in commit 85d2dfcdc7