-
Jose A. Lopes authored
The 'TagObject' datatype became useless because it was replaced by 'TagKind'. This patch removes 'TagObject', its 'Arbitrary' instance, and related functions. Signed-off-by: Jose A. Lopes <jabolopes@google.com> Reviewed-by: Guido Trotter <ultrotter@google.com>
de36f091