mirror of
https://github.com/freebsd/freebsd-src.git
synced 2026-11-03 06:40:36 +01:00
Fixes PR#3239. Submitted by: Takeshi WATANABE <[email protected].s.kobe-u.ac.jp>
Fixes PR#3239. Submitted by: Takeshi WATANABE <[email protected].s.kobe-u.ac.jp>