关于暑期工学图书馆空调

这是暑假以来今天第一次来工学图书馆，不知道是只有今天没有开空调还是暑假以后就没有开空调了，工学图书馆的人数本来就很多，还是希望炎热的下午的时候可以开一下空调。谢谢