tree dc43a723a0a4f09535a5c617573408d024525f76
parent ccd71a4dd3f8e189145daa30e1e1dfdbeaca7c43
author Akron <nils@diewald-online.de> 1498850118 +0200
committer Akron <nils@diewald-online.de> 1498850118 +0200

Fixed hint spec

Change-Id: I728112069106c2c50a8f2c224bc721c2753cb6f7