John Baldwin fd22444c4f Provide a dead version of if_get_counter.
Submitted by:	glebius
Reported by:	np
2014-12-12 16:10:42 +00:00
..
2014-12-08 06:04:42 +00:00
2014-12-10 11:21:52 +00:00
2014-11-28 04:07:06 +00:00
2014-10-12 18:01:52 +00:00
2014-12-09 14:56:00 +00:00
2014-09-25 19:10:32 +00:00
2014-12-10 20:23:19 +00:00
2014-11-23 12:01:52 +00:00
2014-09-23 06:32:19 +00:00