Changes to base

Changes to base:
commit 090ca42d43578310fe033df0a21134370dc6ddc3
Author: Herbert Valerio Riedel <hvr@gnu.org>
Date:   Thu Mar 27 16:47:16 2014 +0100

    add /Since/ annotation