merge pet_skip_info_if_add_type and pet_skip_info_seq_add_type
commitd5680611ebdb0715836525d5e1041b0855bf8c7d
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 19 Apr 2014 15:35:33 +0000 (19 17:35 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 4 Feb 2015 12:04:34 +0000 (4 13:04 +0100)
treeeaa60c726935ef898eb86c51283114fe65f80b2c
parentc8a33733d9316e71e4e0da0374b8a90a9e5d877a
merge pet_skip_info_if_add_type and pet_skip_info_seq_add_type

After the recent changes, these two functions are now identical.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
skip.c